Post

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

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

Ansvarsfriskrivning: OKX Orbit-innehåll tillhandahålls endast i informationssyfte. Läs mer

Svar

Inga kommentarer än. Var den första att svara!

Related Flash News

Källa för avatarChainCatcher•24 m sedan

Delphi Digital: Aaves tre kärnmarknader har strukturella problem, med en årlig förlust på cirka 52 miljoner dollar

Källa för avatar币界网•1 t sedan

On-chain-övervakning: ETF-fonder flödar ut från BTC och ETH, och SOL-fonder strömmar in

Källa för avatarChainCatcher•2 t sedan

Citi: Genombrott inom kvantdatorer accelererar, och Bitcoin står inför överdrivna kvantrisker

Källa för avatarChainCatcher•2 t sedan

Strategys totala flytande vinst på Bitcoin minskade till 1,35 miljarder dollar, och BitMNR:s flytande förlust på Ethereum ökade till 7,279 miljarder dollar

Källa för avatar币界网•2 t sedan

XRPL överträffar Ethereum i RWA-inflöden

Källa för avatarChainCatcher•3 t sedan

Data: CoinShares såg ett nettoutflöde på cirka 1,07 miljarder dollar i digitala tillgångsinvesteringsprodukter förra veckan

Källa för avatarChainCatcher•4 t sedan

Verus-nätverket är nu avstängt och är villigt att erbjuda en buggbelöning om angriparen återlämnar pengarna

Källa för avatarChainCatcher•4 t sedan

Adshares cross-chain-broangripare har återlämnat 86 % av de stulna medlen

Källa för avatarChainCatcher•4 t sedan

Data: BlackRock satte in 2 221 BTC och 26 572 ETH till Coinbase

Källa för avatarChainCatcher•6 t sedan

Goldman Sachs avvecklade sina XRP- och Solana-ETF:er under första kvartalet och innehar fortfarande mer än 700 miljoner dollar i Bitcoin-ETF:er