Post

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

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

Disclaimer: OKX Orbit content is provided for informational purposes only. Learn more

Replies

No comments yet. Be the first to reply!

Related Flash News

Source avatarChainCatcher•23m ago

Delphi Digital: Aave's three core markets have structural problems, with an annualized loss of about $52 million

Source avatar币界网•1h ago

On-chain monitoring: ETF funds flow out of BTC and ETH, and SOL funds flow in

Source avatarChainCatcher•2h ago

Citi: Quantum computing breakthroughs are accelerating, and Bitcoin faces excess quantum risks

Source avatarChainCatcher•2h ago

Strategy's total floating profit on Bitcoin narrowed to $1.35 billion, and BitMNR's floating loss on Ethereum expanded to $7.279 billion

Source avatar币界网•2h ago

XRPL surpasses Ethereum in RWA inflows

Source avatarChainCatcher•3h ago

Data: CoinShares saw a net outflow of about $1.07 billion in digital asset investment products last week

Source avatarChainCatcher•4h ago

The Verus network is now suspended and is willing to offer a bug bounty if the attacker returns the funds

Source avatarChainCatcher•4h ago

Adshares cross-chain bridge attackers have returned 86% of stolen funds

Source avatarChainCatcher•4h ago

Data: BlackRock deposited 2,221 BTC and 26,572 ETH to Coinbase

Source avatarChainCatcher•6h ago

Goldman Sachs liquidated its XRP and Solana ETF holdings in Q1 and still holds more than $700 million in Bitcoin ETFs