Innlegg

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

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

Ansvarsfraskrivelse: OKX Orbit-innholdet er kun gitt for informasjonsformål. Finn ut mer

Svar

Ingen kommentarer ennå. Vær den første til å svare!

Related Flash News

KildeavatarChainCatcher•1t siden

Citi: Gjennombrudd innen kvanteberegning akseler, og Bitcoin står overfor overdrevne kvanterisikoer

KildeavatarChainCatcher•1t siden

Strategys totale flytende fortjeneste på Bitcoin smalnet til 1,35 milliarder dollar, og BitMNRs flytende tap på Ethereum økte til 7,279 milliarder dollar

Kildeavatar币界网•1t siden

XRPL overgår Ethereum i RWA-innstrømninger

Kildeavatar币界网•1t siden

Matrixports tilhørende adresse "ETH long position TOP 1" ETH long order floating loss snevret inn

KildeavatarChainCatcher•2t siden

Data: CoinShares hadde en netto utstrømning på rundt 1,07 milliarder dollar i digitale investeringsprodukter forrige uke

KildeavatarChainCatcher•2t siden

Verus-nettverket er nå suspendert og er villig til å tilby en bug bounty hvis angriperen returnerer pengene

KildeavatarChainCatcher•3t siden

Adshares krysskjede-broangripere har returnert 86 % av de stjålne midlene

KildeavatarChainCatcher•3t siden

Data: BlackRock satte inn 2 221 BTC og 26 572 ETH til Coinbase

KildeavatarChainCatcher•4t siden

Goldman Sachs avviklet sine XRP- og Solana-ETF-beholdninger i første kvartal og eier fortsatt mer enn 700 millioner dollar i Bitcoin-ETF-er

Kildeavatar币界网•5t siden

Bybit lister GWEIUSDT evigvarende kontrakt, som støtter opptil 25x giring