Sonic Labs releases a formal verification library for DAG-based consensus protocols
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. Bernhard Scholz, Chief Research Officer at Sonic Labs, noted that blockchain security failures are often the result of undiagnosed problems that are only detected once it’s too late: “In blockchain, security failures often stem from assumptions that go untested until it...