Sonic Labs releases a formal verification library for DAG-based consensus protocols
## Sonic Labs Introduces Formal Verification Library for DAG-based Consensus Protocols Sonic Labs, the innovative force behind the layer-1 (L1) Sonic blockchain, has unveiled an open-source formal verification library tailored for Directed Acyclic Graph (DAG) consensus protocols. This development, as…