帖子

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

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

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

回覆

暫無評論，快來搶沙發！

相關快訊

來源頭像Odaily•2 小時前

乙太坊基金會兩名研究員宣布辭職

來源頭像币界网•2 小時前

Aster推出鏈上上幣提案投票機制

來源頭像ChainCatcher•3 小時前

Delphi Digital：Aave 三大核心市場存在結構性問題，年化無謂損失約 5200 萬美元

來源頭像币界网•4 小時前

鏈上監測：ETF資金流出BTC和ETH，SOL資金流入

來源頭像ChainCatcher•5 小時前

花旗：量子計算突破正在加速，比特幣面臨超額量子風險

來源頭像ChainCatcher•6 小時前

Strategy 比特幣總持倉浮盈收窄至 13.5 億美元，BitMNR 乙太坊持倉浮虧擴大至 72.79 億美元

來源頭像币界网•6 小時前

XRPL在RWA資金流入中超越乙太坊

來源頭像ChainCatcher•7 小時前

數據：CoinShares 上周數位資產投資產品凈流出約10.7億美元

來源頭像ChainCatcher•7 小時前

Verus 網路現已暫停運行，若攻擊者歸還資金願意提供漏洞賞金

來源頭像ChainCatcher•7 小時前

Adshares 跨鏈橋攻擊者已返還 86% 被盜資金