Trillions flow through blockchains, but what if the code goes wrong?

At Sonic, we use formal verification to mathematically prove that our DAG consensus protocol can’t break.

🔗 http://blog.soniclabs.com/formal-verification-for-dag-consensus-protocols