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
• ProofGenericPCS
  Constraint system proof with a generic crate::poly_commit::PolyCommitScheme.

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.

Type Aliases

• Proof
  Constraint system proof with the standard PCS.