Postaus

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

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

Data: Älykäs raha osti ketjusta jälleen 1 344,18 ETH:ta 10 tuntia sitten, ja nyt sen kelluva tappio on 165 000 dollaria

Lähteen avatarChainCatcher•2 h sitten

Echo Protocol joutui hyökkäyksen kohteeksi Monad-ketjussa, jossa hakkerit lyötiin 1 000 eBTC:tä ja nostivat sitten varoja Curvancen kautta

Lähteen avatarTechFlow•8 h sitten

Data: ETH-lainaprotokolla TVL on pudonnut 23 miljardiin dollariin vuoden alun 32 miljardin dollarin huipputasosta

Lähteen avatarOdaily•9 h sitten

Kaksi Ethereum Foundationin tutkijaa ilmoitti eroavansa

Lähteen avatar币界网•9 h sitten

Aster lanseeraa ketjussa listautumisehdotusten äänestysmekanismin

Lähteen avatarChainCatcher•10 h sitten

Delphi Digital: Aaven kolmella ydinmarkkinalla on rakenteellisia ongelmia, ja vuosittainen tappio on noin 52 miljoonaa dollaria

Lähteen avatar币界网•11 h sitten

On-chain -seuranta: ETF-rahastot virtaavat ulos BTC:stä ja ETH:stä, ja SOL-rahastot virtaavat sisään

Lähteen avatarChainCatcher•13 h sitten

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

Lähteen avatarChainCatcher•13 h sitten

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

Lähteen avatar币界网•13 h sitten

XRPL ohittaa Ethereumin RWA-virtauksissa