Sonic Labs Unveils Open-Source Formal Proof Library for High-Throughput DAG Protocols
Sonic Labs, the research arm behind the high-performance layer-1 blockchain Sonic, today unveiled an open-source formal verification library designed specifically for Directed Acyclic Graph (DAG) consensus protocols. Led by Chief…
