Postare

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

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

Declinarea responsabilității: conținutul OKX Orbit este furnizat doar în scopuri informative. Aflați mai multe

Răspunsuri

Încă nu există niciun comentariu. Fiți primul care răspunde!

Related Flash News

Avatar sursăChainCatcher•41m în urmă

Citi: Progresele în calculul cuantic se accelerează, iar Bitcoin se confruntă cu riscuri cuantice excesive

Avatar sursăChainCatcher•53m în urmă

Profitul total flotant al Strategy pe Bitcoin s-a redus la 1,35 miliarde de dolari, iar pierderea flotantă a BitMNR pe Ethereum a crescut la 7,279 miliarde de dolari

Avatar sursă币界网•54m în urmă

XRPL depășește Ethereum în fluxurile de RWA

Avatar sursă币界网•1h în urmă

Adresa asociată Matrixport "ETH poziție lungă TOP 1" ETH pierdere flotantă de ordin lung s-a îngustat

Avatar sursăChainCatcher•1h în urmă

Date: CoinShares a înregistrat săptămâna trecută o ieșire netă de aproximativ 1,07 miliarde de dolari în produse de investiții în active digitale

Avatar sursăChainCatcher•2h în urmă

Rețeaua Verus este acum suspendată și este dispusă să ofere o recompensă pentru eroare dacă atacatorul returnează fondurile

Avatar sursăChainCatcher•2h în urmă

Atacatorii de poduri cross-chain Adshares au returnat 86% din fondurile furate

Avatar sursăChainCatcher•2h în urmă

Date: BlackRock a depus 2.221 BTC și 26.572 ETH către Coinbase

Avatar sursăChainCatcher•4h în urmă

Goldman Sachs și-a lichidat deținerile de ETF-uri XRP și Solana în primul trimestru și încă deține peste 700 de milioane de dolari în ETF-uri Bitcoin

Avatar sursă币界网•5h în urmă

Bybit listează contractul perpetuu GWEIUSDT, care susține un levier de până la 25x