Sonic Labs, the platform behind the layer-1 (L1) Sonic blockchain, has released an open-source formal verification library designed specifically for Directed Acyclic Graph (DAG) consensus protocols, as per the reports shared with Finbold on Wednesday, June 25. With modular, reusable components, the library helps developers leverage mathematical proof to model and verify the correctness of complex DAG protocols, even those running on Sonic’s own Ethereum (ETH) Virtual Machine (EVM) blockchain. The project was developed in collaboration with logic experts from the University of Sydney and INRIA using TLA+, a formal specification language developed. Addressing security failures in blockchain Dr
source: https://finbold.com/sonic-labs-releases-a-formal-verification-library-for-dag-based-consensus-protocols/