Postaus

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

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

Vastuuvapauslauseke: OKX Orbit -sisältö on tarkoitettu ainoastaan tiedotustarkoituksiin. Lisätietoja

Vastaukset

Ei vielä kommentteja. Ole ensimmäinen vastaaja!

Related Flash News

Lähteen avatarChainCatcher•43 min sitten

Citi: Kvanttilaskennan läpimurrot kiihtyvät, ja Bitcoin kohtaa liiallisia kvanttiriskejä

Lähteen avatarChainCatcher•55 min sitten

Strategyn kokonaiskelluva voitto Bitcoinissa supistui 1,35 miljardiin dollariin, ja BitMNR:n vaihtuva tappio Ethereumissa kasvoi 7,279 miljardiin dollariin

Lähteen avatar币界网•56 min sitten

XRPL ohittaa Ethereumin RWA-virtauksissa

Lähteen avatar币界网•1 h sitten

Matrixportin liittyvä osoite "ETH long position TOP 1" ETH long order floating loss kaventunut

Lähteen avatarChainCatcher•1 h sitten

Data: CoinShares näki viime viikolla noin 1,07 miljardin dollarin nettoulosvirtauksen digitaalisten omaisuuserien sijoitustuotteissa

Lähteen avatarChainCatcher•2 h sitten

Verus-verkko on nyt keskeytetty ja on valmis tarjoamaan bugipalkkion, jos hyökkääjä palauttaa varat

Lähteen avatarChainCatcher•2 h sitten

Adsharesin ketjusillan hyökkääjät ovat palauttaneet 86 % varastetuista varoista

Lähteen avatarChainCatcher•2 h sitten

Data: BlackRock talletti Coinbaseen 2 221 BTC ja 26 572 ETH

Lähteen avatarChainCatcher•4 h sitten

Goldman Sachs realisoi XRP- ja Solana-ETF-omistuksensa ensimmäisellä neljänneksellä ja omistaa edelleen yli 700 miljoonan dollarin arvosta Bitcoin-ETF:iä

Lähteen avatar币界网•5 h sitten

Bybit listaa GWEIUSDT:n pysyvän sopimuksen, joka tukee jopa 25-kertaista vivutusta