Publikuj

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

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

Zastrzeżenie: Treść na OKX Orbiter ma charakter wyłącznie informacyjny. Dowiedz się więcej

Odpowiedzi

Brak komentarzy. Bądź pierwszą osobą, która odpowie!

Related Flash News

Awatar źródłowyOdaily•9min temu

Dwóch badaczy z Ethereum Foundation ogłosiło rezygnację

Awatar źródłowy币界网•35min temu

Aster uruchamia mechanizm głosowania na liście on-chain

Awatar źródłowyChainCatcher•1godz. temu

Delphi Digital: Trzy kluczowe rynki Aave mają problemy strukturalne, z roczną stratą około 52 milionów dolarów

Awatar źródłowy币界网•2godz. temu

Monitorowanie on-chain: Fundusze ETF przepływają z BTC i ETH, a środki SOL napływają

Awatar źródłowyChainCatcher•3godz. temu

Citi: Przełomy w obliczeniach kwantowych przyspieszają, a Bitcoin stoi przed nadmiernymi ryzykami kwantowymi

Awatar źródłowyChainCatcher•3godz. temu

Całkowity zysk pływający Strategy z Bitcoina zwęził się do 1,35 miliarda dolarów, a płynna strata BitMNR na Ethereum wzrosła do 7,279 miliarda dolarów

Awatar źródłowy币界网•3godz. temu

XRPL wyprzedza Ethereum pod względem napływu RWA

Awatar źródłowyChainCatcher•4godz. temu

Dane: CoinShares odnotował netto wypływ około 1,07 miliarda dolarów w produkty inwestycyjne w aktywa cyfrowe w zeszłym tygodniu

Awatar źródłowyChainCatcher•5godz. temu

Sieć Verus została zawieszona i jest gotowa zaoferować nagrodę za błędy, jeśli atakujący zwróci środki

Awatar źródłowyChainCatcher•5godz. temu

Atakujący na mosty krzyżowe Adshares zwrócili 86% skradzionych środków