Bitget App
Trading inteligente
Comprar criptoMercadosTradingFuturosStocksRendaInstituiçãoIA e muito mais
Vitalik: Verificação formal auxiliada por IA tem potencial para aumentar simultaneamente a eficiência e a segurança do código

Vitalik: Verificação formal auxiliada por IA tem potencial para aumentar simultaneamente a eficiência e a segurança do código

ForesightNewsForesightNews2026/05/18 12:55
Mostrar original

De acordo com a Foresight News, Vitalik Buterin publicou um artigo explorando as perspectivas de aplicação da verificação formal no campo da segurança em blockchain. O texto aponta que uma nova abordagem está surgindo na vanguarda do desenvolvimento do Ethereum, onde o código é escrito diretamente em EVM bytecode, assembly ou Lean, e sua correção é verificada por meio de provas matemáticas automaticamente checadas no Lean. O pesquisador Yoichi Hirai denominou essa abordagem como a “forma final do desenvolvimento de software”. Vitalik acredita que a verificação formal assistida por IA pode aumentar simultaneamente a eficiência e a segurança do código, sendo especialmente adequada para módulos críticos como STARK, ZK-EVM, assinaturas resistentes à computação quântica e algoritmos de consenso. O artigo também ressalta que a verificação formal não é uma solução universal, pois pode falhar devido a escopo de prova incompleto, especificações incorretas ou canais laterais de hardware. No futuro, o software poderá se dividir entre “núcleo de segurança” e “borda não segura”, e o Ethereum se tornará um dos principais núcleos de segurança.

0
0

Aviso Legal: o conteúdo deste artigo reflete exclusivamente a opinião do autor e não representa a plataforma. Este artigo não deve servir como referência para a tomada de decisões de investimento.

PoolX: bloqueie e ganhe!
Até 10% de APR - Quanto mais você bloquear, mais poderá ganhar.
Bloquear agora!

Talvez também goste

Irã propõe reabrir Estreito de Ormuz por sete dias, mas Trump rejeita; Brent ultrapassa US$ 106

O Irã mantém uma proposta de reabertura do Estreito de Ormuz por sete dias, mas essa proposta foi rejeitada pelo presidente dos Estados Unidos, Trump, o que pode atrasar ainda mais a reabertura dessa importante rota marítima.

智通财经•2026/09/27 23:26

SUI sobe e ultrapassa 1,2 USDT

Odaily星球日报•2026/09/27 15:13