Допис

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

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

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

Відповіді

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

Related Flash News

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

Частка зафіксованого ETH зросла до 31%, відхиляючись від цінового руху, а довіра в блокчейні продовжувала зростати

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

За п'ять днів відбулося три великі атаки на DeFi, що довело загальну кількість інцидентів криптозлому до 14 у травні

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

Kelp: відновлення rsETH робить ключовий прогрес, адже кілька DeFi-протоколів разом ліквідують позиції зловмисників

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

Echo Protocol підтвердив атаку і призупинив усі крос-чейн-транзакції

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

Дані: Розумна валюта знову купила 1 344,18 ETH на ланцюгу 10 годин тому і тепер має плаваючий збиток у $165 000

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

Echo Protocol зазнав атаки на ланцюг Monad, де хакери відбили 1 000 eBTC, а потім вивели кошти через Curvance

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

Lido: Swellchain закриється 15 червня, і користувачам потрібно заздалегідь вивести свої активи wstETH

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

Дані: протокол кредитування ETH TVL впав до 23 мільярдів доларів з максимуму у 32 мільярди на початку року

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

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

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

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