Sonic Labs, the team behind the Sonic blockchain, has launched the new formal verification library for DAG-based consensus protocols. The goal is to provide proof tools for the security of blockchains.
Sonic Labs, the team behind the Sonic blockchain, has announced the launch of the new formal verification library, dedicated to DAG-based consensus protocols.
In practice, it is an open-source library that uses formal verification to mathematically prove the security of directed acyclic graph blockchains, including the Sonic EVM blockchain.
Thanks to the use of the TLA+ trial assistant, it is possible to simplify the process of verifying DAG-based consensus protocols, allowing developers to model and verify the protocols with minimal effort.
This is a testing tool to verify the security of blockchains. The library includes tests for important DAG-based protocols such as DAG-Rider, Cordial Miner, Bullshark, Hashgraph, and Aleph, with the Sonic consensus protocol verified as derived.
The formal verification library was presented for the first time at the NASA Formal Methods 2025 (NFM 2025) in Williamsburg, Virginia, from June 11 to 13.
The current situation of blockchain security often sees the vulnerability of consensus protocols that can also lead to catastrophic exploits. Double spending or ledger inconsistencies are an example.
In general, in fact, traditional tests and verifications to ensure the security of blockchains have become insufficient.
Here, in this sense, Sonic Labs has decided to take on the challenge of the moment with a strictly mathematical approach, which demonstrates that a protocol is secure in all possible scenarios, leaving no room for errors.
In this regard, Dr. Bernhard Scholz, Chief Research Officer, Sonic Labs, commented:
Sonic Labs has started to implement formal verification to prove that unsafe behavior is mathematically impossible on the Sonic blockchain.
In the last few hours, there is also talk of the entry of the Sonic (S) token on the well-known crypto-exchange Coinbase.
In practice, Coinbase customers can also access the Coinbase iOS and Android app to buy, sell, convert, send, receive, or store the token S.
