Post

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

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

QuellenavatarOdaily•Vor 10M

Zwei Forscher der Ethereum Foundation gaben ihren Rücktritt bekannt.

Quellenavatar币界网•Vor 35M

Aster führt einen Abstimmungsmechanismus für On-Chain-Listing-Vorschläge ein

QuellenavatarChainCatcher•Vor 1Stunden

Delphi Digital: Aaves drei Kernmärkte haben strukturelle Probleme, mit einem jährlichen Verlust von etwa 52 Millionen Dollar

Quellenavatar币界网•Vor 2Stunden

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

QuellenavatarChainCatcher•Vor 3Stunden

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

QuellenavatarChainCatcher•Vor 3Stunden

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 3Stunden

XRPL übertrifft Ethereum bei RWA-Zuflüssen

QuellenavatarChainCatcher•Vor 4Stunden

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

QuellenavatarChainCatcher•Vor 5Stunden

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

QuellenavatarChainCatcher•Vor 5Stunden

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