Struct BooleanityChecker 

pub struct BooleanityChecker<F: InnerTransparentField>(/* private fields */);

Booleanity sumcheck group constructor / verifier.

Implementations

impl<F> BooleanityChecker<F>

where F: InnerTransparentField + Send + Sync + 'static, F::Inner: ConstTranscribable + Clone + Send + Sync + Zero + Default, F::Modulus: ConstTranscribable,

pub fn prepare_sumcheck_group<const D: usize>( transcript: &mut impl Transcript, trace_bin_poly: &[DenseMultilinearExtension<BinaryPoly<D>>], num_vars: usize, field_cfg: &F::Config, ) -> Result<(MultiDegreeSumcheckGroup<F>, BoolProverAncillary), BooleanityError<F>>

Build the booleanity sumcheck group, to be appended to the multi-degree sumcheck.

pub fn finalize_prover( transcript: &mut impl Transcript, sumcheck_prover_state: SumcheckProverState<F>, ancillary: BoolProverAncillary, field_cfg: &F::Config, ) -> Result<BooleanityProof<F>, BooleanityError<F>>

Finalize the booleanity proof after the multi-degree sumcheck completes.

Mirrors the structure of CombinedPolyResolver::finalize_prover: evaluates each bit-slice MLE at the final sumcheck challenge, emits the flat bit_slice_evals vector, and absorbs it into the transcript.

pub fn prepare_verifier( transcript: &mut impl Transcript, claimed_sum: &F, num_wit_bin_cols: usize, bit_width: usize, num_vars: usize, field_cfg: &F::Config, ) -> Result<BoolVerifierAncillary<F>, BooleanityError<F>>

Pre-sumcheck half of the booleanity verifier.

Must run after the CPR prepare_verifier and before MultiDegreeSumcheck::verify_as_subprotocol to maintain transcript ordering.

pub fn finalize_verifier( transcript: &mut impl Transcript, proof: BooleanityProof<F>, shared_point: Vec<F>, expected_evaluation: &F, ancillary: BoolVerifierAncillary<F>, field_cfg: &F::Config, ) -> Result<BoolVerifierSubclaim<F>, BooleanityError<F>>

Post-sumcheck half of the booleanity verifier.

Validates the length of bit_slice_evals, recomputes the expected combination-function evaluation at the shared sumcheck point r* using the received bit_slice_evals, and compares it against the sumcheck’s expected_evaluation. On success, absorbs bit_slice_evals into the transcript (mirroring the prover’s final absorption in finalize_prover).