SimpleProof
SimpleProof
struct SimpleProof {
Bw6G1[2] register_commitments;
Bw6G1 q_comm;
AffineAdditionEvaluationsWithoutBitmask register_evaluations;
Bw6Fr q_zeta;
Bw6Fr r_zeta_omega;
Bw6G1 w_at_zeta_proof;
Bw6G1 r_at_zeta_omega_proof;
}