Post

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

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

Disclaimer: de content op OKX Orbit dient uitsluitend ter informatie. Meer informatie

Reacties

Nog geen reacties. Reageer als eerste.

Related Flash News

BronavatarChainCatcher•1u geleden

Er waren drie grote DeFi-aanvallen in vijf dagen, waardoor het totale aantal crypto-hackincidenten in mei op 14 kwam

BronavatarChainCatcher•1u geleden

Kelp: rsETH recovery boekt belangrijke vooruitgang, waarbij meerdere DeFi-protocollen gezamenlijk de posities van aanvallers liquideren.

BronavatarChainCatcher•1u geleden

Echo Protocol bevestigde de aanval en schortte alle cross-chain transacties op

BronavatarChainCatcher•2u geleden

Data: Een slim geld kocht 10 uur geleden opnieuw 1.344,18 ETH in de keten en heeft nu een schrijdend verlies van $165.000

BronavatarChainCatcher•4u geleden

Echo Protocol kreeg een aanval op de Monad-keten, waarbij hackers 1.000 eBTC minten en vervolgens via Curvance geld opnamen

BronavatarTechFlow•9u geleden

Lido: Swellchain wordt op 15 juni opgeschort en gebruikers moeten wstETH-activa vooraf opnemen

BronavatarTechFlow•10u geleden

Data: ETH kredietprotocol TVL is gedaald tot 23 miljard dollar van een hoogtepunt van 32 miljard dollar aan het begin van het jaar

BronavatarOdaily•11u geleden

Twee onderzoekers van de Ethereum Foundation kondigden hun ontslag aan

Bronavatar币界网•11u geleden

Aster lanceert stemmechanisme voor on-chain listingvoorstellen

BronavatarChainCatcher•12u geleden

Delphi Digital: De drie kernmarkten van Aave hebben structurele problemen, met een jaarlijks verlies van ongeveer 52 miljoen dollar