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