Struct DeepTranscript 

pub struct DeepTranscript<F, EF>
where
    F: Field,
    EF: ExtensionField<F>,
{
    pub evals: Vec<Vec<DenseMatrix<EF>>>,
    pub pow_witness: F,
    pub challenge_columns: EF,
    pub challenge_points: EF,
}

Structured transcript view for the DEEP interaction.

This records the prover’s PoW witness and the two challenges sampled from the Fiat-Shamir transcript after observing evaluations.

evals[g][m] is a RowMajorMatrix<EF> with num_eval_points rows for commitment group g, matrix m. Widths include alignment padding (matching the committed rows).

Fields

evals: Vec<Vec<DenseMatrix<EF>>>

evals[g][m] is a RowMajorMatrix with num_eval_points rows.

pow_witness: F

Proof-of-work witness sampled before DEEP challenges.

challenge_columns: EF

Challenge α for batching columns into f_reduced.

challenge_points: EF

Challenge β for batching opening points.

Implementations

impl<F, EF> DeepTranscript<F, EF>

where F: TwoAdicField, EF: ExtensionField<F>,

pub fn from_verifier_channel<Ch>( params: &DeepParams, commitments: &[(<Ch as Channel>::Commitment, Vec<usize>)], num_eval_points: usize, channel: &mut Ch, ) -> Result<DeepTranscript<F, EF>, TranscriptError>

where Ch: VerifierChannel<F = F>,

Parse DEEP transcript data from a verifier channel.

Reads OOD evaluations, verifies the PoW witness, and samples batching challenges. Does not verify the DEEP quotient itself; that validation happens in the DEEP verifier. Commitment widths must match the committed rows (including any alignment padding).