Modules§
- A channel allows communication between tables.
Structs§
- Contains the 3 things that place constraints on witness data in Binius
- Constraint system proof with a generic
crate::poly_commit::PolyCommitScheme
.
Functions§
- Generates a proof that a witness satisfies a constraint system with the standard FRI PCS.
- Verifies a proof against a constraint system.
Type Aliases§
- Constraint system proof with the standard PCS.