Struct PcsTranscript 

pub struct PcsTranscript<EF, L>
where
    L: Lmcs,
    <L as Lmcs>::F: Field,
    EF: ExtensionField<<L as Lmcs>::F>,
{
    pub deep_transcript: DeepTranscript<<L as Lmcs>::F, EF>,
    pub fri_transcript: FriTranscript<<L as Lmcs>::F, EF, <L as Lmcs>::Commitment>,
    pub query_pow_witness: <L as Lmcs>::F,
    pub query_indices: Vec<usize>,
    pub deep_witnesses: Vec<<L as Lmcs>::BatchProof>,
    pub fri_witnesses: Vec<<L as Lmcs>::BatchProof>,
}

Structured transcript view for the full PCS interaction.

Captures observed transcript data plus parsed LMCS batch openings for inspection.

Fields

deep_transcript: DeepTranscript<<L as Lmcs>::F, EF>

DEEP transcript data (evals, PoW witness, challenges).

fri_transcript: FriTranscript<<L as Lmcs>::F, EF, <L as Lmcs>::Commitment>

FRI transcript data (round commitments/challenges, final polynomial).

query_pow_witness: <L as Lmcs>::F

Proof-of-work witness for query sampling.

query_indices: Vec<usize>

Query indices in sampling order (domain indices, may contain duplicates).

deep_witnesses: Vec<<L as Lmcs>::BatchProof>

Batch witness per trace tree (leaf data + Merkle witness).

fri_witnesses: Vec<<L as Lmcs>::BatchProof>

Batch witness per FRI round (leaf data + Merkle witness).

Implementations

impl<EF, L> PcsTranscript<EF, L>

where L: Lmcs, <L as Lmcs>::F: TwoAdicField, EF: ExtensionField<<L as Lmcs>::F>,

pub fn from_verifier_channel<Ch, const N: usize>( params: &PcsParams, lmcs: &L, commitments: &[(<L as Lmcs>::Commitment, Vec<usize>)], log_lde_height: u8, eval_points: [EF; N], channel: &mut Ch, ) -> Result<PcsTranscript<EF, L>, TranscriptError>

where Ch: VerifierChannel<F = <L as Lmcs>::F, Commitment = <L as Lmcs>::Commitment>,

Parse a PCS transcript from a verifier channel without validation.

Composes DeepTranscript, FriTranscript, and per-query LMCS batch proofs. Does not verify any claims; validation happens in verify_multi. Commitment widths must match the committed rows (including any alignment padding), and all commitments are expected to be lifted to the same log_lde_height.

log_lde_height is the log₂ of the LDE evaluation domain height (i.e. the height of the committed LDE matrices). When a trace degree is known, it is typically log_trace_height + params.fri.log_blowup (plus any extension used by the caller).