Sonic Labs releases a formal verification library for DAG-based consensus protocols

Description

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...