Sonic Labs Introduces Formal Verification Library to Secure DAG Consensus Protocols

Under the direction of Chief Research Officer Dr. Bernhard Scholz, Sonic Labs, the team behind the high-performance layer-1 blockchain Sonic, has announced a significant advancement in blockchain security with the introduction of a formal verification library for DAG-based consensus protocols. The open-source library mathematically demonstrates the security of Directed Acyclic Graph