Module transcript

Structs

• AdviceReader
  Readable(Verifier) advice that CanRead
• AdviceWriter
  Writable(Prover) advice that CanWrite
• Proof
  Helper struct combining Transcript and Advice data to create a Proof object
• TranscriptReader
  Readable(Verifier) transcript over some Challenger that CanRead and CanSample<F: TowerField>
• TranscriptWriter
  Writable(Prover) transcript over some Challenger that CanWrite and CanSample<F: TowerField>

Enums

• Error

Traits

• CanRead
  Trait that is used to read bytes and field elements from transcript/advice
• CanWrite
  Trait that is used to write bytes and field elements to transcript/advice