帖子

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

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

免責聲明：OKX 星球內容僅供參考。 瞭解更多

回覆

暫無評論，快來搶沙發！

相關快訊

來源頭像币界网•55 分鐘前

嘉楠科技發佈2026年Q1財報：總收入6270萬美元

來源頭像ChainCatcher•2 小時前

Gate Ventures：通脹壓力衝擊市場，機構加速佈局穩定幣與鏈上金融基礎設施

來源頭像ChainCatcher•3 小時前

韓國第七大養老救濟公司投資乙太坊槓桿ETF虧損約3273萬美元

來源頭像Odaily•4 小時前

Ethereum Foundation 2026年至今至少有8位高層離職

來源頭像ChainCatcher•6 小時前

質押 ETH 佔比升至 31% 與價格走勢背離，鏈上信心持續增強

來源頭像ChainCatcher•8 小時前

五天三起重大 DeFi 攻擊，5 月加密駭客事件累計達 14 起

來源頭像TechFlow•8 小時前

分析：比特幣徘徊於 7.68 萬美元附近，市場關注月度收盤價能否守住關鍵支撐位

來源頭像ChainCatcher•9 小時前

Kelp：rsETH 恢復取得關鍵進展，多個 DeFi 協定共同清算攻擊者頭寸

來源頭像ChainCatcher•9 小時前

Echo Protocol 確認遭攻擊，暫停所有跨鏈交易

來源頭像ChainCatcher•10 小時前

數據：某聰明錢 10 小時前再次於鏈上買入 1344.18 枚 ETH，現浮虧 16.5 萬美元