Skip to main content

MaskOracle

p3_sumcheck::zk::data

Type Alias MaskOracle 

Source 
pub type MaskOracle<EF, M> = (<M as Mmcs<EF>>::Commitment, <M as Mmcs<EF>>::ProverData<RowMajorMatrix<EF>>);
Expand description

Handle to one committed batch of interleaved mask codewords.

  • Pairs the public Merkle root with the prover-side data needed to open the batch at requested positions.
  • Row z of the committed matrix holds position z of every mask in the batch.
  • One Merkle path therefore authenticates all of them.