Post

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

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

Haftungsausschluss: OKX Orbit-Inhalt dient nur zu Informationszwecken. Mehr erfahren

Antworten

Noch keine Kommentare. Schreib die erste Antwort!

Related Flash News

Quellenavatar币界网•Vor 39M

On-Chain-Überwachung: ETF-Mittel fließen aus BTC und ETH, und SOL-Fonds fließen ein

QuellenavatarChainCatcher•Vor 2Stunden

Citi: Durchbrücke im Quantencomputing beschleunigen sich, und Bitcoin sieht sich übermäßigen Quantenrisiken ausgesetzt

QuellenavatarChainCatcher•Vor 2Stunden

Der gesamte schwimmende Gewinn von Strategy auf Bitcoin schrumpfte auf 1,35 Milliarden US-Dollar, und der schwimmende Verlust von BitMNR auf Ethereum stieg auf 7,279 Milliarden US-Dollar

Quellenavatar币界网•Vor 2Stunden

XRPL übertrifft Ethereum bei RWA-Zuflüssen

QuellenavatarChainCatcher•Vor 3Stunden

Daten: CoinShares verzeichnete letzte Woche einen Nettoabfluss von etwa 1,07 Milliarden US-Dollar in Investitionsprodukten für digitale Vermögenswerte

QuellenavatarChainCatcher•Vor 3Stunden

Das Verus-Netzwerk ist nun gesperrt und bereit, eine Bug-Belohnung anzubieten, falls der Angreifer die Gelder zurückgibt

QuellenavatarChainCatcher•Vor 4Stunden

Adshares Cross-Chain-Bridge-Angreifer haben 86 % der gestohlenen Gelder zurückgegeben

QuellenavatarChainCatcher•Vor 4Stunden

Daten: BlackRock hat 2.221 BTC und 26.572 ETH bei Coinbase eingezahlt

QuellenavatarChainCatcher•Vor 5Stunden

Goldman Sachs liquidierte im ersten Quartal seine XRP- und Solana-ETF-Bestände und hält immer noch mehr als 700 Millionen US-Dollar an Bitcoin-ETFs

Quellenavatar币界网•Vor 6Stunden

Bybit listet den GWEIUSDT-Ewigkeitsvertrag auf, der bis zu 25-fache Hebelwirkung unterstützt