Struct BoolVerifierAncillary 

pub struct BoolVerifierAncillary<F: PrimeField> {
    pub gamma_powers: Vec<F>,
    pub delta_powers: Vec<F>,
    pub zerocheck_point: Vec<F>,
    pub num_wit_bin_cols: usize,
    pub bit_width: usize,
    pub num_vars: usize,
}

Ancillary data produced by BooleanityChecker::prepare_verifier and consumed by BooleanityChecker::finalize_verifier.

Fields

gamma_powers: Vec<F>

Powers of the bit-slice batching challenge: [1, gamma, ..., gamma^{D-1}].

delta_powers: Vec<F>

Powers of the column batching challenge: [1, delta, ..., delta^{N-1}].

zerocheck_point: Vec<F>

The zerocheck point r sampled before the multi-degree sumcheck.

num_wit_bin_cols: usize

Number of witness binary-poly columns (N).

bit_width: usize

Bit-width of each binary-poly coefficient cell (D).

num_vars: usize

Number of variables (for sanity-checking the shared point length).