Publier

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

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

Avertissement : les contenus d'OKX Orbit sont uniquement publiés à titre informatif. En savoir plus

Réponses

Aucun commentaire pour le moment. Soyez le premier à répondre !

Related Flash News

Avatar sourceChainCatcher•Il y a 49 m

Données : Un smart money a de nouveau acheté 1 344,18 ETH sur la chaîne il y a 10 heures, et affiche maintenant une perte flottante de 165 000 $

Avatar sourceChainCatcher•Il y a 2 h

Echo Protocol a subi une attaque contre la chaîne Monad, où des hackers ont frappé 1 000 eBTC puis retiré des fonds via Curvance

Avatar sourceTechFlow•Il y a 8 h

Données : Le protocole de prêt ETH TVL est tombé à 23 milliards de dollars, contre un sommet de 32 milliards au début de l’année

Avatar sourceOdaily•Il y a 9 h

Deux chercheurs de la Fondation Ethereum ont annoncé leur démission

Avatar source币界网•Il y a 9 h

Aster lance un mécanisme de vote pour la proposition de cotation en chaîne

Avatar sourceChainCatcher•Il y a 10 h

Delphi Digital : Les trois marchés principaux d’Aave rencontrent des problèmes structurels, avec une perte annualisée d’environ 52 millions de dollars

Avatar source币界网•Il y a 11 h

Surveillance on-chain : les fonds ETF sortent du BTC et de l’ETH, et les fonds SOL entrent

Avatar sourceChainCatcher•Il y a 13 h

Citi : Les avancées en informatique quantique s’accélèrent, et Bitcoin fait face à des risques quantiques excessifs

Avatar sourceChainCatcher•Il y a 13 h

Le bénéfice flottant total de Strategy sur Bitcoin s’est réduit à 1,35 milliard de dollars, et la perte flottante de BitMNR sur Ethereum a augmenté à 7,279 milliards de dollars

Avatar source币界网•Il y a 13 h

XRPL dépasse Ethereum en termes d’entrées RWA