Sonic Labs, team dietro la blockchain Sonic, ha lanciato la nuova libreria di verifica formale per i protocolli di consenso basati su DAG. L’obiettivo è offrire strumenti di prova per la sicurezza delle blockchain.
Summary
Sonic Labs e la sicurezza della blockchain: il lancio della nuova libreria di verifica formale
Sonic Labs, tema dietro la blockchain Sonic, ha annunciato il lancio della nuova libreria di verifica formale, dedicata ai protocolli di consenso basati su DAG.
In pratica, si tratta di una libreria open-source che utilizza la verifica formale per dimostrare matematicamente la sicurezza delle blockchain a grafo aciclico diretto, compresa la blockchain EVM di Sonic.
Grazie all’utilizzo dell’assistente di prova TLA+, è possibile semplificare il processo di verifica dei protocolli di consenso basati su DAG, consentono agli sviluppatori di modellare e verificare i protocolli con il minimo sforzo.
Si tratta di uno strumento di prova per verificare la sicurezza delle blockchain. La libreria include prove per protocolli basati su DAG importanti come DAG-Rider, Cordial Miner, Bullshark, Hashgraph e Aleph, con il protocollo di consenso di Sonic verificato come derivato.
La libreria di verifica formale è stata presentata per la prima volta al NASA Formal Methods 2025 (NFM 2025) a Williamsburg, in Virginia, dall’11 al 13 giugno.
Sonic Labs e l’approccio matematico rigoroso per dimostrare la sicurezza di un protocollo
L’attuale situazione della sicurezza delle blockchain, vede spesso la vulnerabilità dei protocolli di consenso che possono portare anche a exploit catastrofici. La doppia spesa o le incoerenze del libro mastro, ne sono un esempio.
In generale, infatti, i test e le verifiche tradizionali per garantire la sicurezza delle blockchain sono diventati insufficienti.
Ecco che in questo senso, Sonic Labs ha deciso di aderire alla sfida del momento con un approccio rigorosamente matematico, che dimostra che un protocollo è sicuro in tutti gli scenari possibili, senza lasciare spazio a errori.
A tal proposito, Dr. Bernhard Scholz, Chief Research Officer, Sonic Labs, ha commentato:
“Nella blockchain, i fallimenti della sicurezza spesso derivano da ipotesi che non vengono verificate fino a quando non è troppo tardi. Con questa libreria, stiamo passando dalla speranza alla prova, offrendo gli strumenti per verificare, con certezza matematica, che un protocollo si comporterà in modo sicuro in tutte le condizioni. Il nostro obiettivo è rendere la verifica formale accessibile a tutti gli sviluppatori di protocolli”.
Sonic Labs ha iniziato a implementare la verifica formale per dimostrare che il comportamento non sicuro è matematicamente impossibile sulla blockchain di Sonic.
L’ingresso del token S su Coinbase
Nelle ultime ore, si parla anche dell’ingresso del token Sonic (S) sul noto crypto-exchange di Coinbase.
$S is now live on @Coinbase. pic.twitter.com/E6AIy6yusF
— Sonic Labs (@SonicLabs) June 24, 2025
In pratica, i clienti di Coinbase possono accedere anche all’app iOs e Android di Coinbase per acquistare, vendere, convertire, inviare, ricevere o conservare il token S.
Attualmente, Sonic (S) è in 73esima posizione nella classifica generale crypto, con 932 milioni di dollari di market cap. Al momento della scrittura, S vale 0,32$.
Era metà aprile 2025, quando Fantom lanciava l’ultimo aggiornamento Sonic per rivoluzionare la DeFi. Con una capacità di oltre 10.000 transazioni al secondo (TPS) e tempi di finalizzazione inferiori a 2 secondi, Sonic si è proposta fin da subito come una delle reti Layer 1 più veloci e scalabili del panorama crypto. Con Sonic, ha debuttato anche il token S, ancorato inizialmente a FTM di Fantom.
