pub const PROOF_SIZE: u32 = _; // 256u32
Total proof size: A (G1) || B (G2) || C (G1) = 64 + 128 + 64 = 256 bytes.