🧠 باحثو Ethereum يطورون Etheorem لتعزيز أمان الإجماع
يعمل باحثون من Ethereum Protocol Fellowship وInvisible Garden على مشروع Etheorem، الذي يستخدم لغة Lean 4 لبناء مواصفة رسمية وقابلة للتنفيذ لإجماع Ethereum.
الهدف هو استخدام التحقق الرياضي الرسمي لاكتشاف الثغرات المنطقية وتقليل مخاطر اختلاف تطبيقات العملاء المتعددين، والتي قد تؤدي إلى انقسام الشبكة.
ووفقًا للباحثين، اجتازت المواصفة اختبارات الإصدارات المستقبلية Fulu وGloas وHeze، بما يشمل آليات مثل ePBS واختيار السلسلة وانتقال الحالة.
📌 Cipher Vault: استخدام التحقق الرياضي على مستوى بروتوكول Ethereum قد يصبح مهمًا مع ازدياد تعقيد الترقيات وتعدد عملاء الشبكة.
⚠️ ليس نصيحة مالية أو توصية بالشراء أو البيع.
#Ethereum #ETH #Etheorem #Blockchain
يعمل باحثون من Ethereum Protocol Fellowship وInvisible Garden على مشروع Etheorem، الذي يستخدم لغة Lean 4 لبناء مواصفة رسمية وقابلة للتنفيذ لإجماع Ethereum.
الهدف هو استخدام التحقق الرياضي الرسمي لاكتشاف الثغرات المنطقية وتقليل مخاطر اختلاف تطبيقات العملاء المتعددين، والتي قد تؤدي إلى انقسام الشبكة.
ووفقًا للباحثين، اجتازت المواصفة اختبارات الإصدارات المستقبلية Fulu وGloas وHeze، بما يشمل آليات مثل ePBS واختيار السلسلة وانتقال الحالة.
📌 Cipher Vault: استخدام التحقق الرياضي على مستوى بروتوكول Ethereum قد يصبح مهمًا مع ازدياد تعقيد الترقيات وتعدد عملاء الشبكة.
⚠️ ليس نصيحة مالية أو توصية بالشراء أو البيع.
#Ethereum #ETH #Etheorem #Blockchain