Vitalik: La verifica formale assistita dall’intelligenza artificiale potrebbe migliorare sia l’efficienza che la sicurezza del codice
Secondo Foresight News, Vitalik Buterin ha pubblicato un articolo in cui esplora le prospettive di applicazione della verifica formalizzata nell'ambito della sicurezza blockchain. L'articolo sottolinea che nella ricerca avanzata su Ethereum sta emergendo un nuovo paradigma, che consiste nel programmare direttamente in EVM bytecode, assembly o Lean, per poi verificare la correttezza del codice tramite dimostrazioni matematiche verificabili automaticamente in Lean; il ricercatore Yoichi Hirai ha definito questo paradigma come la "forma finale dello sviluppo software". Vitalik ritiene che la verifica formalizzata assistita da AI potrebbe incrementare sia l'efficienza che la sicurezza del codice, risultando particolarmente adatta per moduli core di sicurezza come STARK, ZK-EVM, firme post-quantistiche e algoritmi di consenso. L'articolo sottolinea inoltre che la verifica formalizzata non è onnipotente e può ancora fallire a causa di limiti nel campo di applicazione, specifiche errate o canali laterali hardware; in futuro, il software potrebbe essere suddiviso tra "core sicuri" e "periferie non sicure", con Ethereum destinato a diventare uno dei principali core di sicurezza.
Esclusione di responsabilità: il contenuto di questo articolo riflette esclusivamente l’opinione dell’autore e non rappresenta in alcun modo la piattaforma. Questo articolo non deve essere utilizzato come riferimento per prendere decisioni di investimento.
Ti potrebbe interessare anche
Meta implementerà i suoi chip AI auto-sviluppati nella prima metà del prossimo anno, con l'obiettivo di ridurre i costi e diminuire la dipendenza da Nvidia.
La terza generazione del chip AI sviluppato internamente da Meta, MTIA 450, sarà implementata nei data center nella prima metà del prossimo anno, mentre la quarta generazione è prevista per entrare nei data center entro la fine del 2027. Negli ultimi 12 mesi, Meta si è impegnata a una capacità di distribuzione di chip proprietari equivalente a oltre 1 gigawatt di consumo energetico. Secondo Yee Jiun Song, vicepresidente dell’ingegneria presso Meta, rispetto ai prodotti attualmente distribuiti da Nvidia, i chip proprietari di Meta offrono maggiore efficienza e consumano meno energia nell’esecuzione dei modelli di AI.
Il prezzo del petrolio statunitense è passato in territorio negativo.
Prezzi delle criptovalute
Altro
