Talk_24

ZKProof 7 (2025): Towards a Formal Foundation for Blockchain ZK Rollups