数万亿flow通过区块链，但如果代码出错怎么办？ 在Sonic，我们使用形式化验证来数学证明我们的DAG共识协议不能被破坏。