Публикация

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

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

Дисклеймер: контент OKX Orbit предоставляется исключительно в информационных целях. Подробнее

Ответы

Комментариев еще нет. Будьте первым!

Related Flash News

Аватар по умолчаниюChainCatcher35 мин. назад

Kelp: восстановление rsETH делает важный прогресс: несколько DeFi-протоколов совместно ликвидируют позиции злоумышленников

Аватар по умолчаниюChainCatcher41 мин. назад

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

Аватар по умолчаниюChainCatcher1 ч. назад

Данные: Умные деньги снова купили 1 344,18 ETH на цепочке 10 часов назад и теперь имеют плавающий убыток в 165 000 долларов

Аватар по умолчаниюChainCatcher3 ч. назад

Echo Protocol подвергся атаке на цепочку Monad, где хакеры собрали 1000 eBTC, а затем вывели средства через Curvance

Аватар по умолчаниюTechFlow8 ч. назад

Lido: Swellchain будет приостановлен 15 июня, и пользователям необходимо заранее выводить активы wstETH

Аватар по умолчаниюTechFlow8 ч. назад

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

Аватар по умолчаниюOdaily10 ч. назад

Два исследователя из Ethereum Foundation объявили о своей отставке

Аватар по умолчанию币界网10 ч. назад

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

Аватар по умолчаниюChainCatcher11 ч. назад

Delphi Digital: Три основных рынка Aave имеют структурные проблемы, с годовым убытком около 52 миллионов долларов

Аватар по умолчанию币界网12 ч. назад

Ончейн-мониторинг: Средства ETF поступают из BTC и ETH, а средства SOL поступают