Публикация

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

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

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

Ответы

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

Related Flash News

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

Citi: Прорывы в квантовых вычислениях ускоряются, и Биткоин сталкивается с чрезмерными квантовыми рисками

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

Общая плавающая прибыль Strategy по Bitcoin сократилась до $1,35 миллиарда, а плавающий убыток BitMNR на Ethereum увеличился до $7,279 миллиарда

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

XRPL опережает Ethereum по притоку RWA

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

Связанный с Matrixport адрес «ETH long position TOP 1» ETH по плавающему убытку сужен

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

Данные: На прошлой неделе CoinShares зафиксировал чистый отток около 1,07 миллиарда долларов в продуктах для инвестирования в цифровые активы

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

Сеть Verus теперь приостановлена и готова предложить награду за ошибку, если злоумышленник вернёт средства

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

Атакующие на кросс-чейн-бридж Adshares вернули 86% украденных средств

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

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

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

Goldman Sachs ликвидировал свои активы XRP и Solana ETF в первом квартале и до сих пор владеет более $700 миллионов в биткоин-ETF

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

Bybit перечисляет бессрочный контракт GWEIUSDT, поддерживающий до 25-кратного кредитного плеча