Publicar

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

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

Aviso legal: o conteúdo do OKX Orbit é fornecido apenas para fins informativos. Saber mais

Respostas

Ainda sem comentários. Sê a primeira pessoa a responder!

Related Flash News

Avatar de origemChainCatcher•1 hora

Citi: As descobertas na computação quântica estão a acelerar, e o Bitcoin enfrenta riscos quânticos excessivos

Avatar de origemChainCatcher•1 hora

O lucro flutuante total da Strategy no Bitcoin reduziu-se para 1,35 mil milhões de dólares, e a perda flutuante do BitMNR no Ethereum aumentou para 7,279 mil milhões de dólares

Avatar de origem币界网•1 hora

O XRPL ultrapassa o Ethereum em entradas de RWA

Avatar de origem币界网•1 hora

Endereço associado à Matrixport "ETH posição longa TOP 1" ETH perda flutuante de ordem longa reduzida

Avatar de origemChainCatcher•2 horas

Dados: A CoinShares registou uma saída líquida de cerca de 1,07 mil milhões de dólares em produtos de investimento em ativos digitais na semana passada

Avatar de origemChainCatcher•2 horas

A rede Verus está agora suspensa e está disposta a oferecer uma recompensa por bugs se o atacante devolver os fundos

Avatar de origemChainCatcher•2 horas

Os atacantes de pontes cruzadas da Adshares devolveram 86% dos fundos roubados

Avatar de origemChainCatcher•3 horas

Dados: A BlackRock depositou 2.221 BTC e 26.572 ETH na Coinbase

Avatar de origemChainCatcher•4 horas

A Goldman Sachs liquidou as suas participações em ETFs XRP e Solana no primeiro trimestre e ainda detém mais de 700 milhões de dólares em ETFs de Bitcoin

Avatar de origem币界网•5 horas

A Bybit lista contrato perpétuo GWEIUSDT, suportando uma alavancagem até 25x