Formal Verification vs Audits: Why “We Checked the Code” Is No Longer Enough

I used to sleep soundly after audits. I don’t anymore. The first time I watched a post-audit protocol lose $30 million to a state interaction the auditors missed, I told myself it was an edge case. The second time, I blamed the scope. The third time — somewhere around the fifth post-mortem I’d read that [...]

The post Formal Verification vs Audits: Why “We Checked the Code” Is No Longer Enough appeared first on Blockonomi.