Postare

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

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

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ăChainCatcher6m în urmă

Gateway Ventures: Presiunile inflaționiste au lovit piața, iar instituțiile au accelerat implementarea stablecoin-urilor și a infrastructurii financiare on-chain

Avatar sursăChainCatcher1h în urmă

A șaptea cea mai mare companie de reducere a pensiilor din Coreea de Sud a pierdut aproximativ 32,73 milioane de dolari investind în ETF-uri cu efect de levier Ethereum

Avatar sursăOdaily2h în urmă

Cel puțin opt directori executivi de rang înalt ai Fundației Ethereum au plecat până acum în 2026

Avatar sursăChainCatcher4h în urmă

Cota ETH stakat a crescut la 31%, diferind de la mișcarea prețului, iar încrederea on-chain a continuat să crească

Avatar sursăChainCatcher6h în urmă

Au avut loc trei atacuri majore DeFi în cinci zile, aducând numărul total de incidente de hacking crypto la 14 în mai

Avatar sursăChainCatcher7h în urmă

Kelp: recuperarea rsETH face progrese cheie, cu multiple protocoale DeFi care lichidează colectiv pozițiile atacatorilor

Avatar sursăChainCatcher7h în urmă

Protocolul Echo a confirmat atacul și a suspendat toate tranzacțiile cross-chain

Avatar sursăChainCatcher8h în urmă

Date: Un money inteligent a cumpărat din nou 1.344,18 ETH pe lanț acum 10 ore și acum are o pierdere fluctuantă de 165.000 de dolari

Avatar sursăTechFlow9h în urmă

Binance va elimina mai multe perechi de tranzacționare spot precum AVAX/ETH, CHZ/BTC etc

Avatar sursăChainCatcher9h în urmă

Echo Protocol a suferit un atac asupra lanțului Monad, unde hackerii au creat 1.000 de eBTC și apoi au retras fonduri prin Curvance