This issue of Chains, Scaling & Security is mapped and its interactive training ground is live — the full written pages are still being drawn. Open the interactive lesson to experiment with formal verification · certora · the k framework in a live sandbox right now.