Created on March 23, 2025
2025
ZKProof 7 (2025): Towards a Formal Foundation for Blockchain ZK Rollups