Допис

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

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

Застереження. Вміст, опублікований на OKX Orbit, надається виключно в інформаційних цілях. Докладніше

Відповіді

Ще немає коментарів. Додайте першу відповідь!

Related Flash News

Аватар джерела币界网12хв тому

Ончейн-моніторинг: Відтік коштів ETF з BTC та ETH, а також SOL

Аватар джерелаChainCatcher1г тому

Citi: Прориви в квантових обчисленнях прискорюються, і Bitcoin стикається з надмірними квантовими ризиками

Аватар джерелаChainCatcher2г тому

Загальний плаваючий прибуток Strategy на Bitcoin скоротився до $1,35 мільярда, а плаваючий збиток BitMNR на Ethereum зріс до $7,279 мільярда

Аватар джерела币界网2г тому

XRPL перевершує Ethereum за кількістю надходжень RWA

Аватар джерела币界网2г тому

Відповідна адреса Matrixport "ETH long position TOP 1" ETH довготривала плаваюча збитка звузилася

Аватар джерелаChainCatcher2г тому

Дані: минулого тижня CoinShares зафіксував чистий відтік близько $1,07 мільярда у продуктах для інвестування в цифрові активи

Аватар джерелаChainCatcher3г тому

Мережа Verus тепер призупинена і готова запропонувати нагороду за помилки, якщо зловмисник поверне кошти

Аватар джерелаChainCatcher3г тому

Атаки, що зловмислюють у міжчейновому мосту Adshares, повернули 86% вкрадених коштів

Аватар джерелаChainCatcher4г тому

Дані: BlackRock внесла 2 221 BTC і 26 572 ETH на Coinbase

Аватар джерелаChainCatcher5г тому

Goldman Sachs ліквідував свої активи XRP та Solana ETF у першому кварталі і досі володіє понад $700 мільйонами у Bitcoin ETF