Veridise Re-poster
76 منشورات
Veridise Re-poster
إبلاغ
حظر المُستخدم
Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
0 تتابع
1 المتابعون
3 إعجاب
منشورات
الكل
مقاطع فيديو
كلما حسّنت دائرة ZK لتقليل القيود، عليك التأكد من أن الإصدار الجديد ينفّذ الحساب نفسه تمامًا الذي ينفّذه تصميمك الأولي. في حين أن الاختبارات التقليدية لا تتحقق إلا من المدخلات المحددة التي تتوقعها، يتبع LLEQ نهجًا أشمل بكثير. فهو يُسند عملية التحقق إلى محلّل SMT، الذي يقيّم منطقيًا كل سيناريو إدخال ممكن. ويقدّم @RaghavMalik15 دليلًا عمليًا كاملًا خطوة بخطوة حول كيفية تنفيذ سير العمل هذا.
كلما حسّنت دائرة ZK لتقليل القيود، عليك التأكد من أن الإصدار الجديد ينفّذ الحساب نفسه تمامًا الذي ينفّذه تصميمك الأولي. في حين أن الاختبارات التقليدية لا تتحقق إلا من المدخلات المحددة التي تتوقعها، يتبع LLEQ نهجًا أشمل بكثير. فهو يُسند عملية التحقق إلى محلّل SMT، الذي يقيّم منطقيًا كل سيناريو إدخال ممكن. ويقدّم @RaghavMalik15 دليلًا عمليًا كاملًا خطوة بخطوة حول كيفية تنفيذ سير العمل هذا.
71
كشف فريق @aztecnetwork عن خارطة طريق شاملة لما بعد عصر الحوسبة الكمومية، تهدف إلى إنجازها بحلول عام 2030. وما يجعل هذا الجدول الزمني مثيرًا للاهتمام على نحو خاص هو ترتيب الترقيات المخطط لها. إذ يضع الفريق أولوية لمعالجة خطر هجوم «اجمع الآن وفك التشفير لاحقًا» منذ البداية. وبناءً على هذا النهج، ستُطرح مكتبات معززة لحماية البيانات الخاصة في أوائل عام 2027، قبل وقت طويل من إجراء أي تغييرات على نظام الإثبات.
https://thedefiant.io/news/blockchains/aztec-targets-full-post-quantum-migration-by-end-of-2030
كشف فريق @aztecnetwork عن خارطة طريق شاملة لما بعد عصر الحوسبة الكمومية، تهدف إلى إنجازها بحلول عام 2030. وما يجعل هذا الجدول الزمني مثيرًا للاهتمام على نحو خاص هو ترتيب الترقيات المخطط لها. إذ يضع الفريق أولوية لمعالجة خطر هجوم «اجمع الآن وفك التشفير لاحقًا» منذ البداية. وبناءً على هذا النهج، ستُطرح مكتبات معززة لحماية البيانات الخاصة في أوائل عام 2027، قبل وقت طويل من إجراء أي تغييرات على نظام الإثبات.
https://thedefiant.io/news/blockchains/aztec-targets-full-post-quantum-migration-by-end-of-2030
https://thedefiant.io/news/blockchains/aztec-targets-full-post-quantum-migration-by-end-of-2030
65
عند التفكير في ترحيل بيتكوين، يُعد اختيار مخطط توقيع مقاوم للحوسبة الكمومية في الواقع أبسط خطوة. وتسلط ورقة بحثية حديثة حول التشفير ما بعد الكمومي، نشرتها كوينبيس، الضوء على مسألة أصعب بكثير. إذ يجب على المحافظ التي تستخدم مخططات ذات حالة أن تتابع بعناية المفاتيح أحادية الاستخدام التي سبق استخدامها. فإذا استعاد مستخدم نسخة احتياطية قديمة ثم أعاد استخدام أحد المفاتيح، فسيتمكن المهاجم عندئذ من تزوير توقيع صالح.
https://www.coindesk.com/tech/2026/10/14/coinbase-which-holds-5-of-all-bitcoin-wants-the-quantum-fix-started-now
عند التفكير في ترحيل بيتكوين، يُعد اختيار مخطط توقيع مقاوم للحوسبة الكمومية في الواقع أبسط خطوة. وتسلط ورقة بحثية حديثة حول التشفير ما بعد الكمومي، نشرتها كوينبيس، الضوء على مسألة أصعب بكثير. إذ يجب على المحافظ التي تستخدم مخططات ذات حالة أن تتابع بعناية المفاتيح أحادية الاستخدام التي سبق استخدامها. فإذا استعاد مستخدم نسخة احتياطية قديمة ثم أعاد استخدام أحد المفاتيح، فسيتمكن المهاجم عندئذ من تزوير توقيع صالح.
https://www.coindesk.com/tech/2026/10/14/coinbase-which-holds-5-of-all-bitcoin-wants-the-quantum-fix-started-now
https://www.coindesk.com/tech/2026/10/14/coinbase-which-holds-5-of-all-bitcoin-wants-the-quantum-fix-started-now
68
كان لوكلاء الذكاء الاصطناعي حضور بارز في جميع أرجاء فعالية @token2049، حيث استُعرضت قدرتهم على تنفيذ مهام معقدة، مثل إدارة الخزائن وتنفيذ الصفقات وصياغة العقود. لكن وسط كل هذا الحماس، أُغفلت إلى حد كبير مسألة جوهرية: فلم يتطرق أحد تقريبًا إلى ضرورة التحقق من المخرجات الفعلية التي ينتجها هؤلاء الوكلاء. وقد ركز فريقنا على معالجة هذه الفجوة تحديدًا في عملية التحقق. نتطلع إلى مشاركة المزيد من التفاصيل معكم قريبًا جدًا.
كان لوكلاء الذكاء الاصطناعي حضور بارز في جميع أرجاء فعالية @token2049، حيث استُعرضت قدرتهم على تنفيذ مهام معقدة، مثل إدارة الخزائن وتنفيذ الصفقات وصياغة العقود. لكن وسط كل هذا الحماس، أُغفلت إلى حد كبير مسألة جوهرية: فلم يتطرق أحد تقريبًا إلى ضرورة التحقق من المخرجات الفعلية التي ينتجها هؤلاء الوكلاء. وقد ركز فريقنا على معالجة هذه الفجوة تحديدًا في عملية التحقق. نتطلع إلى مشاركة المزيد من التفاصيل معكم قريبًا جدًا.
71
خلال يوم كامل قضاه فريق Veridise في سنغافورة، أتيحت لنا فرصة التحدث على ثلاث منصات مختلفة. سواء كنا في قمة @solana، أو نشارك في @gammaprime، أو نحضر يوم تعدد السلاسل، فقد تمحورت أحاديثنا كثيرًا حول المعرفة الصفرية (ZK)، وعمليات التدقيق الأمني، والتحقق الرسمي. وعلى الرغم من اختلاف الفعاليات، ظل الحضور يطرحون موضوعًا مشتركًا. فقد تكرر السؤال عن كيفية إيجاد طريقة موثوقة للتحقق من أن جزءًا معينًا من الشيفرة البرمجية ينفذ بالفعل ما تنص عليه مواصفاته بدقة.
خلال يوم كامل قضاه فريق Veridise في سنغافورة، أتيحت لنا فرصة التحدث على ثلاث منصات مختلفة. سواء كنا في قمة @solana، أو نشارك في @gammaprime، أو نحضر يوم تعدد السلاسل، فقد تمحورت أحاديثنا كثيرًا حول المعرفة الصفرية (ZK)، وعمليات التدقيق الأمني، والتحقق الرسمي. وعلى الرغم من اختلاف الفعاليات، ظل الحضور يطرحون موضوعًا مشتركًا. فقد تكرر السؤال عن كيفية إيجاد طريقة موثوقة للتحقق من أن جزءًا معينًا من الشيفرة البرمجية ينفذ بالفعل ما تنص عليه مواصفاته بدقة.
69
إذا كانت خريطة طريقك تتضمن تدقيقًا قادمًا في الربع الرابع أو في بداية العام المقبل، فإن @kulm1nski هو الشخص المثالي للتشاور معه بخصوص نطاق مشروعك والجدول الزمني. سيسافر إلى سنغافورة لحضور @token2049 من 5 إلى 9 أكتوبر. يُرجى إرسال رسالة مباشرة إليه لترتيب وقت للاجتماع.
إذا كانت خريطة طريقك تتضمن تدقيقًا قادمًا في الربع الرابع أو في بداية العام المقبل، فإن @kulm1nski هو الشخص المثالي للتشاور معه بخصوص نطاق مشروعك والجدول الزمني. سيسافر إلى سنغافورة لحضور @token2049 من 5 إلى 9 أكتوبر. يُرجى إرسال رسالة مباشرة إليه لترتيب وقت للاجتماع.
60
إذا كانت خريطة الطريق القادمة لديك تشمل الأمن، وتبحث عن نقاش مباشر حوله، فإن الأسبوع المقبل يوفر فرصة مثالية للتواصل. يتجه @FormallyJon إلى سنغافورة، حيث سيحضر @token2049 ويستكشف الفعاليات الجانبية المحيطة من 5 إلى 9 أكتوبر. لا تتردد في إرسال رسالة مباشرة (DM) لحجز وقت للاجتماع.
إذا كانت خريطة الطريق القادمة لديك تشمل الأمن، وتبحث عن نقاش مباشر حوله، فإن الأسبوع المقبل يوفر فرصة مثالية للتواصل. يتجه @FormallyJon إلى سنغافورة، حيث سيحضر @token2049 ويستكشف الفعاليات الجانبية المحيطة من 5 إلى 9 أكتوبر. لا تتردد في إرسال رسالة مباشرة (DM) لحجز وقت للاجتماع.
70
مع إدخال معاملات الإطارات (Frame Transactions)، ستتمتع الحسابات بمرونة تحديد إرشادات التفويض الخاصة بها. وهذا يعني أنه يمكن للمستخدمين إعداد قواعد مخصصة لأنظمة التوقيع البديلة، واسترداد الحساب، والموافقات المتعددة. ونتيجة لهذا التحول، سيتم نقل منطق التشغيل الذي يوجد حاليًا داخل كود المحفظة الفردي مباشرةً إلى البروتوكول الأساسي. ومن المهم أن نأخذ في الحسبان أنه مع انتقال هذا المنطق، فإن سطحه المقابل للفشل ينتقل أيضًا إلى طبقة البروتوكول.
https://thedefiant.io/news/blockchains/buterin-maps-ethereum-s-post-hegota-cryptographic-world-computer
مع إدخال معاملات الإطارات (Frame Transactions)، ستتمتع الحسابات بمرونة تحديد إرشادات التفويض الخاصة بها. وهذا يعني أنه يمكن للمستخدمين إعداد قواعد مخصصة لأنظمة التوقيع البديلة، واسترداد الحساب، والموافقات المتعددة. ونتيجة لهذا التحول، سيتم نقل منطق التشغيل الذي يوجد حاليًا داخل كود المحفظة الفردي مباشرةً إلى البروتوكول الأساسي. ومن المهم أن نأخذ في الحسبان أنه مع انتقال هذا المنطق، فإن سطحه المقابل للفشل ينتقل أيضًا إلى طبقة البروتوكول.
https://thedefiant.io/news/blockchains/buterin-maps-ethereum-s-post-hegota-cryptographic-world-computer
https://thedefiant.io/news/blockchains/buterin-maps-ethereum-s-post-hegota-cryptographic-world-computer
1
2.1k
قبل مشاركة تقدير 63 دولارًا لمعاملة بيتكوين مقاومة للكمّ، يُنصح بشدة بمراجعة المنهجية الأساسية. كما توضح <t-2/> بشكلٍ واضح، فإن هذا المبلغ هو مجرد نموذج نظري وليس فاتورة فعلية، ما يعني أنه لا يتم إنشاء أي معاملات حقيقية. علاوة على ذلك، بينما تم تنفيذ اختبارات الأداء باستخدام RTX 4090، فإن إسقاط التكلفة الإجمالي يفترض شبكةً افتراضية تتكون من 100 جهاز RTX 3090.
https://thedefiant.io/news/blockchains/starkware-challenge-cuts-quantum-safe-bitcoin-compute-estimate-by-79
قبل مشاركة تقدير 63 دولارًا لمعاملة بيتكوين مقاومة للكمّ، يُنصح بشدة بمراجعة المنهجية الأساسية. كما توضح <t-2/> بشكلٍ واضح، فإن هذا المبلغ هو مجرد نموذج نظري وليس فاتورة فعلية، ما يعني أنه لا يتم إنشاء أي معاملات حقيقية. علاوة على ذلك، بينما تم تنفيذ اختبارات الأداء باستخدام RTX 4090، فإن إسقاط التكلفة الإجمالي يفترض شبكةً افتراضية تتكون من 100 جهاز RTX 3090.
https://thedefiant.io/news/blockchains/starkware-challenge-cuts-quantum-safe-bitcoin-compute-estimate-by-79
https://thedefiant.io/news/blockchains/starkware-challenge-cuts-quantum-safe-bitcoin-compute-estimate-by-79
83
يُعدّ تأمين معاملة بيتكوين ضد تهديدات الحوسبة الكمية الآن أسرع 6 مرات، وذلك بفضل كود تشفير تم تحسينه بواسطة الذكاء الاصطناعي. ورغم أن السرعة مقياس يمكننا قياسه بسهولة، فإن إثبات أن طريقتين متكافئتين حقًا أمر مستحيل دون وجود دليل قابل للتحقق.
https://www.coindesk.com/tech/2026/09/24/a-week-of-ai-coding-cut-a-quantum-safe-bitcoin-transaction-estimate-from-usd320-to-usd66
يُعدّ تأمين معاملة بيتكوين ضد تهديدات الحوسبة الكمية الآن أسرع 6 مرات، وذلك بفضل كود تشفير تم تحسينه بواسطة الذكاء الاصطناعي. ورغم أن السرعة مقياس يمكننا قياسه بسهولة، فإن إثبات أن طريقتين متكافئتين حقًا أمر مستحيل دون وجود دليل قابل للتحقق.
https://www.coindesk.com/tech/2026/09/24/a-week-of-ai-coding-cut-a-quantum-safe-bitcoin-transaction-estimate-from-usd320-to-usd66
https://www.coindesk.com/tech/2026/09/24/a-week-of-ai-coding-cut-a-quantum-safe-bitcoin-transaction-estimate-from-usd320-to-usd66
80
تمّ التحقق
يتم حاليًا اختبار ترقية Alpenglow على شبكة Solana التجريبية، ما يحقق انخفاضًا لافتًا في زمن الإنهاء النهائي من 12.8 ثانية إلى 150 ميلي ثانية فقط. ورغم أن هذه المرحلة تضمن خضوع المدققين لتقييم شامل، إلا أنها تترك عمليات التكامل دون فحص. ونتيجة لذلك، أي تدفق إيداع أو جسر يحافظ على تأكيد ثابت مُعاير خصيصًا لـ 32 مقطعًا (slot) يعمل على افتراض بأن أحدًا لم يُعد اشتقاقه من جديد.
https://www.coindesk.com/tech/2026/09/23/solana-starts-testing-upgrade-that-could-cut-finality-from-12-8-seconds-to-150-milliseconds
يتم حاليًا اختبار ترقية Alpenglow على شبكة Solana التجريبية، ما يحقق انخفاضًا لافتًا في زمن الإنهاء النهائي من 12.8 ثانية إلى 150 ميلي ثانية فقط. ورغم أن هذه المرحلة تضمن خضوع المدققين لتقييم شامل، إلا أنها تترك عمليات التكامل دون فحص. ونتيجة لذلك، أي تدفق إيداع أو جسر يحافظ على تأكيد ثابت مُعاير خصيصًا لـ 32 مقطعًا (slot) يعمل على افتراض بأن أحدًا لم يُعد اشتقاقه من جديد.
https://www.coindesk.com/tech/2026/09/23/solana-starts-testing-upgrade-that-could-cut-finality-from-12-8-seconds-to-150-milliseconds
https://www.coindesk.com/tech/2026/09/23/solana-starts-testing-upgrade-that-could-cut-finality-from-12-8-seconds-to-150-milliseconds
2
1.9k
في أحدث إصدار من Auditor's Take، يستكشف @FormallyJon فئةً مميزةً من الثغرات. تتمثل المشكلة الأساسية في أنه كلما قامت دالة بأخذ calldata مقدم من المتصل ثم تمريره مباشرةً إلى استدعاء منخفض المستوى. يتيح هذا السيناريو إمكانية تشغيل أي إجراء متاح يمكن الوصول إليه عبر واجهة الهدف. وهذا يخلق موقفًا خطيرًا لأن مجموعة العمليات تلك لم تُصمم عمدًا بواسطة أي شخص، كما لم يتم فحصها أبدًا بواسطة مُدقق تدقيق. يمكنك استكشاف التحليل الكامل عبر زيارة الرابط أدناه.
https://veridise.com/blog/audit-insights/arbitrary_external_call_injection_socket_exploit/
في أحدث إصدار من Auditor's Take، يستكشف @FormallyJon فئةً مميزةً من الثغرات. تتمثل المشكلة الأساسية في أنه كلما قامت دالة بأخذ calldata مقدم من المتصل ثم تمريره مباشرةً إلى استدعاء منخفض المستوى. يتيح هذا السيناريو إمكانية تشغيل أي إجراء متاح يمكن الوصول إليه عبر واجهة الهدف. وهذا يخلق موقفًا خطيرًا لأن مجموعة العمليات تلك لم تُصمم عمدًا بواسطة أي شخص، كما لم يتم فحصها أبدًا بواسطة مُدقق تدقيق. يمكنك استكشاف التحليل الكامل عبر زيارة الرابط أدناه.
https://veridise.com/blog/audit-insights/arbitrary_external_call_injection_socket_exploit/
https://veridise.com/blog/audit-insights/arbitrary_external_call_injection_socket_exploit/
80
على الرغم من أن التحقق الرسمي يُعد فعّالاً للغاية في الإشارة إلى أن خاصية ما قد فشلت، فإنه يتوقف قبل شرح السبب الكامن وراء ذلك. تعلّم المزيد من @ShankaraPailoo2 حول عملية تحويل مثال معاكس بسيط إلى سبب جذري واضح.
على الرغم من أن التحقق الرسمي يُعد فعّالاً للغاية في الإشارة إلى أن خاصية ما قد فشلت، فإنه يتوقف قبل شرح السبب الكامن وراء ذلك. تعلّم المزيد من @ShankaraPailoo2 حول عملية تحويل مثال معاكس بسيط إلى سبب جذري واضح.
77
للحصول على شرح خطوة بخطوة لكيفية عمل ذلك، يُرجى الاطلاع على العرض التوضيحي المقدم بواسطة @RaghavMalik15 أدناه. ستلاحظ أن Z3 يحل بنجاح التزام الإثبات الخاص بـ LLZK في أقل من ثانية واحدة. وفي النهاية، وبما أنه لا يمكن استيفاء المقدم، فلا يلزم إثبات إضافي.
للحصول على شرح خطوة بخطوة لكيفية عمل ذلك، يُرجى الاطلاع على العرض التوضيحي المقدم بواسطة @RaghavMalik15 أدناه. ستلاحظ أن Z3 يحل بنجاح التزام الإثبات الخاص بـ LLZK في أقل من ثانية واحدة. وفي النهاية، وبما أنه لا يمكن استيفاء المقدم، فلا يلزم إثبات إضافي.
1
1
492
تم تحديد تاريخ نهائي صارم في ديسمبر 2029 رسميًا من قبل Ethereum لتحقيق مقاومة الكم. ومن المثير للاهتمام أن هذا الجدول الزمني مدفوع بالكامل بجدول نشر التحديثات الحماية، وليس بالانتظار حتى ظهور أجهزة كمومية وظيفية فعليًا. سيتطلب الوصول إلى هذا المعلم خمس عمليات انقسام (فوركس) متميزة للشبكة، مع تخصيص كل مرحلة بالضبط 7.2 أشهر. جدول التطوير شديد الضيق ولا يترك على الإطلاق أي مجال للتأخيرات. يمكنك الاطلاع على التفاصيل الكاملة في https://blog.ethereum.org/2026/09/07/protocol-priorities
تم تحديد تاريخ نهائي صارم في ديسمبر 2029 رسميًا من قبل Ethereum لتحقيق مقاومة الكم. ومن المثير للاهتمام أن هذا الجدول الزمني مدفوع بالكامل بجدول نشر التحديثات الحماية، وليس بالانتظار حتى ظهور أجهزة كمومية وظيفية فعليًا. سيتطلب الوصول إلى هذا المعلم خمس عمليات انقسام (فوركس) متميزة للشبكة، مع تخصيص كل مرحلة بالضبط 7.2 أشهر. جدول التطوير شديد الضيق ولا يترك على الإطلاق أي مجال للتأخيرات. يمكنك الاطلاع على التفاصيل الكاملة في https://blog.ethereum.org/2026/09/07/protocol-priorities
52
تعمل المكالمات الخارجية كعنصرٍ أساسيّ في برمجة السلسلة على السلسلة، ما يعني أن مجرد وجودها لا ينبغي أبدًا اعتباره علامة تحذير تلقائية. ومع ذلك، توجد بالضبط حالتان محددتان تشيران فعلًا إلى الخطر. تتمثل المشكلة الرئيسية الأولى في أنه عندما يحدث تحديث للحالة فقط بعد أن تكون المكالمة قد اكتملت بالفعل. ويحدث الخطر الثاني عندما يتم التنازل عن التحكم في التنفيذ إلى كود لم يقم أحد بمراجعته بشكل صحيح.
تعمل المكالمات الخارجية كعنصرٍ أساسيّ في برمجة السلسلة على السلسلة، ما يعني أن مجرد وجودها لا ينبغي أبدًا اعتباره علامة تحذير تلقائية. ومع ذلك، توجد بالضبط حالتان محددتان تشيران فعلًا إلى الخطر. تتمثل المشكلة الرئيسية الأولى في أنه عندما يحدث تحديث للحالة فقط بعد أن تكون المكالمة قد اكتملت بالفعل. ويحدث الخطر الثاني عندما يتم التنازل عن التحكم في التنفيذ إلى كود لم يقم أحد بمراجعته بشكل صحيح.
37
بمجرد أن تثبت التكافؤ مرة واحدة، فإن تحليل أي تفاصيل إضافية للدائرة لم يعد مشكلة ZK. تنتقل العملية بسلاسة إلى مهمة تحقق قياسية من البرنامج. يتيح لنا هذا التحول إعادة استخدام عقود من التقنيات الكلاسيكية فورًا. انضم إلى @RaghavMalik15 بينما يتعمق في هذا العنصر غير المتوقع تمامًا من LLEQ.
بمجرد أن تثبت التكافؤ مرة واحدة، فإن تحليل أي تفاصيل إضافية للدائرة لم يعد مشكلة ZK. تنتقل العملية بسلاسة إلى مهمة تحقق قياسية من البرنامج. يتيح لنا هذا التحول إعادة استخدام عقود من التقنيات الكلاسيكية فورًا. انضم إلى @RaghavMalik15 بينما يتعمق في هذا العنصر غير المتوقع تمامًا من LLEQ.
122
إذا كنت تتساءل عن كيفية خروج 27 مليون دولار من نظامٍ ما عبر حساب مكافأة بسيط، يقدم @FormallyJon شرحًا واضحًا لما حدث. كانت نقطة الضعف الحقيقية كامنة في خللٍ أساسي في منطق المحاسبة، مما أدى إلى تسجيل الرموز المتطابقة مرتين بشكل منفصل. تعرف النظام على الأموال أولًا على أنها إيداع كان البروتوكول ملزمًا بإعادته، ثم بشكلٍ منفصل كَمكافأة مُستحقة. والأهم من ذلك أن كلا الرصيدين جرى إتاحتهما للسحب. وبينما كانت دالة استغلال إعادة الدخول هي آلية التسليم للهجوم، فإن الخلل في المحاسبة هو في الواقع هو البقعة.
إذا كنت تتساءل عن كيفية خروج 27 مليون دولار من نظامٍ ما عبر حساب مكافأة بسيط، يقدم @FormallyJon شرحًا واضحًا لما حدث. كانت نقطة الضعف الحقيقية كامنة في خللٍ أساسي في منطق المحاسبة، مما أدى إلى تسجيل الرموز المتطابقة مرتين بشكل منفصل. تعرف النظام على الأموال أولًا على أنها إيداع كان البروتوكول ملزمًا بإعادته، ثم بشكلٍ منفصل كَمكافأة مُستحقة. والأهم من ذلك أن كلا الرصيدين جرى إتاحتهما للسحب. وبينما كانت دالة استغلال إعادة الدخول هي آلية التسليم للهجوم، فإن الخلل في المحاسبة هو في الواقع هو البقعة.
71
يمكن لترقيات الشبكة على Mina أن تجبر كل zkApp على تحديث مفتاح التحقق الخاص بها، وهي مطالبة تؤدي إلى فشل كامل لإعدادات الميسج القياسية (multisig) عند محاولة التكيف. ولحل هذه التحدية، طبّق Mina Multisig نهجًا يستخدم FROST. قبل أن يطرح @nori_zk هذا النظام على @MinaProtocol، أجرى Veridise مراجعة شاملة للحل، وتوثَّق هذه التقييمات حاليًا على AuditHub. والآن أصبحت البرمجية مفتوحة المصدر بالكامل، ما يجعلها موردًا ممتازًا لأي فريق Mina يعمل على تطبيقات المحافظ أو أدوات الحفظ الذاتي.
يمكن لترقيات الشبكة على Mina أن تجبر كل zkApp على تحديث مفتاح التحقق الخاص بها، وهي مطالبة تؤدي إلى فشل كامل لإعدادات الميسج القياسية (multisig) عند محاولة التكيف. ولحل هذه التحدية، طبّق Mina Multisig نهجًا يستخدم FROST. قبل أن يطرح @nori_zk هذا النظام على @MinaProtocol، أجرى Veridise مراجعة شاملة للحل، وتوثَّق هذه التقييمات حاليًا على AuditHub. والآن أصبحت البرمجية مفتوحة المصدر بالكامل، ما يجعلها موردًا ممتازًا لأي فريق Mina يعمل على تطبيقات المحافظ أو أدوات الحفظ الذاتي.
60
انهيار كامل لفكرة أن يكون المرء مسؤولاً عن حفظ أصوله بنفسه، بمجرد أن طُلب من الأفراد إيداع أصولهم في عقد الصرف الخاص بـ Rain. لقد شهدنا خسارة قدرها 500 ألف دولار في Avici، إلى جانب اختفاء 430 ألف دولار في Tria. وفي النهاية، تصبح أي ادعاءات بالاحتفاظ بالحفظ عديمة المعنى تمامًا إذا كان عقد التوجيه الذي تعتمد عليه يحتوي على ثغرة.
انهيار كامل لفكرة أن يكون المرء مسؤولاً عن حفظ أصوله بنفسه، بمجرد أن طُلب من الأفراد إيداع أصولهم في عقد الصرف الخاص بـ Rain. لقد شهدنا خسارة قدرها 500 ألف دولار في Avici، إلى جانب اختفاء 430 ألف دولار في Tria. وفي النهاية، تصبح أي ادعاءات بالاحتفاظ بالحفظ عديمة المعنى تمامًا إذا كان عقد التوجيه الذي تعتمد عليه يحتوي على ثغرة.
73
سجّل الدخول لاستكشاف المزيد من المُحتوى
انضم إلى مُستخدمي العملات الرقمية حول العالم على Binance Square
⚡️ احصل على أحدث المعلومات المفيدة عن العملات الرقمية.
💬 موثوقة من قبل أكبر منصّة لتداول العملات الرقمية في العالم.
👍 اكتشف الرؤى الحقيقية من صنّاع المُحتوى الموثوقين.
البريد الإلكتروني / رقم الهاتف
المواضيع الرائجة
CelestiaRises16%To2026High
137,518 مشاهدات
1,094 يقومون بالنقاش
#CelestiaRises16%To2026High 🚨 صعود TIA بنسبة 16%.. هل بدأت شرارة موسم العملات البديلة الأكبر الحين؟ 📈🚀
بينما تشتعل الساحة باللون الأخضر احتفالاً بالقمة الجديدة لعملة سيليستيا، يتساءل مئات المستثمرين عن التوقيت الآمن لقنص الصفقات دون الوقوع في فخاخ التصريف اللحظية التي تنصبها الحيتان عند القمم. 🧠📊
المتداول الذكي يراقب المشهد بوعي تام، ويدرك أن حماية الأرباح تبدأ بالالتزام الصارم بـ السوق الفوري (Spot Only) والابتعاد الكامل عن محارق الرافعة المالية (الفيوتشرز)، لتمتلك أصلك الحقيقي ونسبة تصفية حسابك صفر مطلق! 🛡️🏹
👇 تكتيكك القناص الحين:
لقد أضفت لكم الصناديق اللحظية الدائمة والمثبتة لعملة $TIA
وأسفل المنشور مباشرة. اضغط على صندوق العملة، افتح الشارت بدم بارد، وشاركني في التعليقات: هل تشوف هذا الصعود فرصة قنص وتجميع جديدة، أم تنتظر تصحيحاً مؤقتاً؟$BTC
$SOL
BitcoinPeak
·1 إعجاب
·1.2k مشاهدات
NasdaqDowWeeklyGapWidestSinceJuly2002
78,875 مشاهدات
820 يقومون بالنقاش
Nasdaq100Falls5.5%InWorstWeekIn18Months
42,166 مشاهدات
644 يقومون بالنقاش