Module transcript 

Fiat-Shamir transcript of one binary-tower PCS run.

Structs

BinaryPcsProverTranscript

Prover-side transcript of one binary-tower PCS run.

BinaryPcsShape

Numbers that fix the transcript of one binary-tower PCS run.

BinaryPcsVerifierTranscript

Verifier-side transcript of one binary-tower PCS run.

Enums

TranscriptFailure

A transcript step the proof failed to satisfy.