Допис

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

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

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

Відповіді

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

Related Flash News

Аватар джерелаOdaily•14хв тому

Двоє дослідників з Ethereum Foundation оголосили про свою відставку

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

Aster запускає механізм голосування щодо пропозицій щодо онлайн-листингу

Аватар джерелаChainCatcher•1г тому

Delphi Digital: Три основні ринки Aave мають структурні проблеми, з річним збитком близько $52 мільйонів

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

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

Аватар джерелаChainCatcher•3г тому

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

Аватар джерелаChainCatcher•4г тому

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

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

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

Аватар джерелаChainCatcher•4г тому

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

Аватар джерелаChainCatcher•5г тому

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

Аватар джерелаChainCatcher•5г тому

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