Publicar

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

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

Descargo de responsabilidad: el contenido de OKX Orbit se brinda únicamente con fines informativos. Más información

Respuestas

Aún no hay comentarios. ¡Sé el primero en responder!

Related Flash News

Avatar de fuente币界网•hace 13 min

Monitorización on-chain: los fondos de ETF salen de BTC y ETH, y los fondos SOL fluyen

Avatar de fuenteChainCatcher•hace 1 h

Citi: Los avances en computación cuántica se están acelerando y Bitcoin afronta riesgos cuánticos excesivos

Avatar de fuenteChainCatcher•hace 2 h

El beneficio flotante total de Strategy sobre Bitcoin se redujo a 1.350 millones de dólares, y la pérdida flotante de BitMNR en Ethereum se amplió a 7.279 millones

Avatar de fuente币界网•hace 2 h

XRPL supera a Ethereum en flujos de entrada de RWA

Avatar de fuente币界网•hace 2 h

La dirección asociada de Matrixport "ETH posición larga TOP 1" ETH pérdida flotante de orden larga se ha reducido

Avatar de fuenteChainCatcher•hace 2 h

Datos: CoinShares registró una salida neta de unos 1.0700 millones de dólares en productos de inversión en activos digitales la semana pasada

Avatar de fuenteChainCatcher•hace 3 h

La red Verus está ahora suspendida y está dispuesta a ofrecer una recompensa por errores si el atacante devuelve los fondos

Avatar de fuenteChainCatcher•hace 3 h

Los atacantes de puentes cross-chain de Adshares han devuelto el 86% de los fondos robados

Avatar de fuenteChainCatcher•hace 4 h

Datos: BlackRock depositó 2.221 BTC y 26.572 ETH en Coinbase

Avatar de fuenteChainCatcher•hace 5 h

Goldman Sachs liquidó sus ETFs XRP y Solana en el primer trimestre y aún mantiene más de 700 millones de dólares en ETFs de Bitcoin