pub const PROOF_VALIDATION_BATCH_AMT_BITWIDTH: usize = 4;