Vitalik: Verificação formal auxiliada por IA tem potencial para aumentar simultaneamente a eficiência e a segurança do código
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.
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.
Talvez também goste
Abaixo do intervalo mínimo! A distribuidora de energia para data centers Accelevation (ACCV.US) precifica IPO em 18 dólares por ação e arrecada 540 milhões de dólares.
Accelevation Holdings emitiu 30 milhões de ações a 18 dólares cada (sendo 67% oferta secundária), arrecadando 540 milhões de dólares. O preço de emissão ficou abaixo da faixa de preço anterior, que era de 20 a 24 dólares.
O alto rendimento impulsiona as compras, e o leilão de títulos do governo japonês de dois anos acontece sem problemas.
Devido aos altos rendimentos atraindo capital, o leilão de títulos do governo japonês de dois anos realizado na quarta-feira registrou uma demanda acima da média dos últimos 12 meses.
Discípulo de destaque do “Big Short” Burry alerta: Mercado de ações da Coreia do Sul parece um “paraíso capitalista”, mas na verdade esconde “armadilhas de valor”
Existem armadilhas por trás das ações baratas na Coreia do Sul: grande parte de seu valor muitas vezes está fora do alcance dos acionistas minoritários.
Preços de criptomoedas
Mais
