Module constraint_system

Modules

• channel
  A channel allows communication between tables.
• error
• validate

Structs

• ConstraintSystem
  Contains the 3 things that place constraints on witness data in Binius
• Proof
  Constraint system proof that has been serialized into bytes

Functions

• prove
  Generates a proof that a witness satisfies a constraint system with the standard FRI PCS.
• verify
  Verifies a proof against a constraint system.