المنشور

Vitalik Buterin：以太坊研发新范式与形式化验证

币界网
币界网
币界网消息，Vitalik Buterin在最新文章中表示，以太坊前沿研发中正兴起一种新范式：直接使用EVM字节码、汇编或Lean编写代码，并用Lean中可自动检查的数学证明验证其正确性。AI辅助形式化验证有望同时提升代码效率与安全性，尤其适用于STARK、ZK-EVM、抗量子签名和共识算法等安全核心模块。但他也强调，形式化验证并非万能，仍可能因证明范围不完整、规格错误、硬件侧信道等问题失效未来软件或将分化为“安全核心”和“非安全边缘”，以太坊将成为重要安全核心之一。
ETH‏‎‎-2.11‎%‎‏
‏20:50 · ‏18‏/05‏/26·‏‎7.01 ألف‏ مشاهدات·
زيارة المصدر
‏‎0‏
‏‎0‏

إخلاء المسؤولية: يُقدَّم محتوى OKX Orbit لأغراض إرشادية فقط. اعرف المزيد

الردود

لا تعليقات حتى الآن. كُن أول من يرد!

Related Flash News

الصورة الرمزية للمصدرChainCatcher•منذ 8 دقائق

سيتي: تسارعت اختراقات الحوسبة الكمومية، ويواجه البيتكوين مخاطر كمية زائدة

الصورة الرمزية للمصدرChainCatcher•منذ 20 دقيقة

تقلص إجمالي الأرباح العائمة لستراتيجي على البيتكوين إلى 1.35 مليار دولار، وتوسعت الخسارة العائمة لبيتموند في إيثيريوم إلى 7.279 مليار دولار

الصورة الرمزية للمصدر币界网•منذ 22 دقيقة

تجاوز XRPL الإيثيريوم في تدفقات RWA

الصورة الرمزية للمصدر币界网•منذ 42 دقيقة

عنوان Matrixport المرتبط ب "مركز شراء EE TOP 1" تم تقليص الخسارة العائمة لأوامر ET الطويلة

الصورة الرمزية للمصدرChainCatcher•منذ 1 ساعة

البيانات: شهدت كوين شيرز تدفقا صافيا خارجا بحوالي 1.07 مليار دولار في منتجات استثمار الأصول الرقمية الأسبوع الماضي

الصورة الرمزية للمصدرChainCatcher•منذ 1 ساعة

شبكة فيروس الآن معلقة ومستعدة لتقديم مكافأة أخطاء إذا أعاد المهاجم الأموال

الصورة الرمزية للمصدرChainCatcher•منذ 1 ساعة

أعاد مهاجمو الجسور عبر السلاسل من Adshares 86٪ من الأموال المسروقة

الصورة الرمزية للمصدرChainCatcher•منذ 2 ساعتَين

البيانات: أودعت بلاك روك 2,221 بيتكوين و26,572 إيثان في كوينبيس

الصورة الرمزية للمصدرChainCatcher•منذ 3 ساعاتٍ

قامت جولدمان ساكس بتصفية ممتلكاتها في صناديق XRP وSolana في الربع الأول ولا تزال تحتفظ بأكثر من 700 مليون دولار من صناديق البيتكوين المتداولة

الصورة الرمزية للمصدر币界网•منذ 4 ساعاتٍ

يدرج Bybit عقد GWEIUSDT الدائم، يدعم حتى 25 ضعف الرافعة المالية