المنشور

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

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

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

الردود

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

Related Flash News

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

المراقبة على السلسلة: تتدفق صناديق ETF من BTC وETH، وتتدفق صناديق SOL إلى الداخل

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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