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 and the security of the blockchain: the launch of the new formal verification library
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-Ri
We współpracy z: https://en.cryptonomist.ch/2025/06/25/sonic-labs-the-new-formal-verification-library-for-dag-based-protocols/
