Sonic Labs Unveils Open-Source Library for DAG Blockchain Verification

Sonic Labs has released a new open-source library designed to provide formal verification for DAG-based blockchain consensus protocols, a move it claims will help raise the security standards for decentralized networks. Mathematical Proofs to Verify Consensus Protocols The formal verification library, developed in collaboration with researchers from the University of Sydney and French research institute INRIA, was first presented earlier this month at NASA Formal Methods 2025 (NFM 2025) in Williamsburg, Virginia. The library uses TLA+, a formal specification language developed by Microsoft Research, to mathematically prove the correctness of consensus protocols.  Sonic Labs said the tool simplifies the

Continue reading on DailyCoin.