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 validity proofs · the zk-rollup core in a live sandbox right now.