Category: Cryptocurrency news

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

Sonic Labs releases a formal verification library for DAG-based consensus protocols Marko Marjanovic Cryptocurrency Jun 25, 2025 Share 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. […]