Publikovat

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

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

Zřeknutí se odpovědnosti: Obsah v síti OKX Orbit je poskytován pouze pro informační účely. Další informace

Odpovědi

Zatím žádné komentáře. Odpovězte jako první!

Related Flash News

Zdrojový avatarChainCatcher•Před 43 min

Citi: Průlomy v kvantovém počítání se zrychlují a Bitcoin čelí nadměrným kvantovým rizikům

Zdrojový avatarChainCatcher•Před 55 min

Celkový plovoucí zisk Strategy z Bitcoinu se zúžil na 1,35 miliardy dolarů a plovoucí ztráta BitMNR na Ethereu vzrostla na 7,279 miliardy dolarů

Zdrojový avatar币界网•Před 57 min

XRPL překonal Ethereum v přítocích RWA

Zdrojový avatar币界网•Před 1 h

Přiřazená adresa Matrixportu "ETH long position TOP 1" ETH dlouhá objednávka s plovoucím ztrátovým postupem zúžena

Zdrojový avatarChainCatcher•Před 1 h

Data: CoinShares minulý týden zaznamenal čistý odliv přibližně 1,07 miliardy dolarů z investičních produktů digitálních aktiv

Zdrojový avatarChainCatcher•Před 2 h

Síť Verus je nyní pozastavena a je ochotná nabídnout odměnu za odposlech, pokud útočník vrátí prostředky

Zdrojový avatarChainCatcher•Před 2 h

Útočníci na cross-chain mosty Adshares vrátili 86 % ukradených prostředků

Zdrojový avatarChainCatcher•Před 2 h

Data: BlackRock uložil na Coinbase 2 221 BTC a 26 572 ETH

Zdrojový avatarChainCatcher•Před 4 h

Goldman Sachs v prvním čtvrtletí zlikvidoval své podíly v XRP a Solana ETF a stále drží více než 700 milionů dolarů v Bitcoin ETF

Zdrojový avatar币界网•Před 5 h

Bybit uvádí GWEIUSDT perpetuální smlouvu, která podporuje až 25násobnou páku