Публикация

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

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

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

Ответы

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

Related Flash News

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

Canaan Technology опубликовала финансовый отчёт за первый квартал 2026 года: общий доход составляет $62,7 миллиона

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

Gate Ventures: Инфляционное давление ударило по рынку, и учреждения ускорили внедрение стейблкоинов и онлайн-финансовой инфраструктуры

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

Седьмая по величине компания Южной Кореи по пенсионному облегчению потеряла около 32,73 миллиона долларов, инвестируя в ETF с использованием Ethereum

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

По меньшей мере восемь старших руководителей Ethereum Foundation покинули компанию в 2026 году

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

Отчёт Zcash Foundation за первый квартал: общие оборотные активы достигли примерно 36,7 млн долларов США, а активы ZEC превысили 85 000

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

Wintermute запускает Armitage — платформу для курирования DeFi-хранилищ, поддерживающую более широкий спектр типов залогов

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

Доля стейкинга ETH выросла до 31%, что отклонилось от ценового движения, а доверие в блокчейне продолжало расти

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

За пять дней произошло три крупные атаки DeFi, что довело общее число инцидентов криптовзлома в мае до 14

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

Анализ: Биткоин держится около $76,800, рынок следит, сможет ли ежемесячное закрытие удержать ключевой уровень поддержки

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

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