Module constraint_system
Source - channel
- A channel allows communication between tables.
- error
- validate
- ConstraintSystem
- Contains the 3 things that place constraints on witness data in Binius
- Proof
- Constraint system proof that has been serialized into bytes
- prove
- Generates a proof that a witness satisfies a constraint system with the standard FRI PCS.
- verify
- Verifies a proof against a constraint system.