Type Alias BooleanTraceProof 

pub type BooleanTraceProof<EF, MT, MX> = BooleanTraceCommitmentProof<EF, BooleanProof<EF, MT, MX>>;

One opening of a trace behind the folding-only bit commitment.

Aliased Type

pub struct BooleanTraceProof<EF, MT, MX> {
    pub values: Vec<EF>,
    pub opening: BooleanProof<EF, MT, MX>,
}

Fields

values: Vec<EF>

One value per column a batch reads, its current ones first, batches in transcript order.

opening: BooleanProof<EF, MT, MX>

The bit commitment’s own proof, answering for every value at once.