Допис

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

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

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

Відповіді

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

Related Flash News

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

Сьома за величиною компанія Південної Кореї з пенсійного полегшення втратила близько $32,73 мільйона через інвестиції в ETF з кредитним плечем Ethereum

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

Щонайменше вісім старших керівників Ethereum Foundation залишили роботу у 2026 році

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

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

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

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

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

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

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

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

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

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

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

Binance видаляє кілька спотових торгових пар, таких як AVAX/ETH, CHZ/BTC тощо

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

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

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

Рейтинг обсягу торгів за 24 години Upbit: BTC, XRP та Trac входять до трійки лідерів