Publier

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

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

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

Avatar sourceChainCatcher•Il y a 2 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 2 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 2 h

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

Avatar sourceChainCatcher•Il y a 3 h

Données : CoinShares a enregistré une sortie nette d’environ 1,07 milliard de dollars en produits d’investissement en actifs numériques la semaine dernière

Avatar sourceChainCatcher•Il y a 3 h

Le réseau Verus est désormais suspendu et est prêt à offrir une prime sur les bugs si l’attaquant rend les fonds

Avatar sourceChainCatcher•Il y a 3 h

Les attaquants de ponts inter-chaînes d’Adshares ont récupéré 86 % des fonds volés

Avatar sourceChainCatcher•Il y a 4 h

Données : BlackRock a déposé 2 221 BTC et 26 572 ETH sur Coinbase

Avatar sourceChainCatcher•Il y a 5 h

Goldman Sachs a liquidé ses avoirs en ETF XRP et Solana au premier trimestre et détient toujours plus de 700 millions de dollars en ETF Bitcoin

Avatar source币界网•Il y a 6 h

Bybit indique un contrat perpétuel GWEIUSDT, supportant un levier allant jusqu’à 25x