binius_core

Module transcript

source

Structs§

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

Enums§

Traits§

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

Functions§