Module constraint_system

Modules

channel

A channel allows communication between tables.

error

exp

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

Enums

TableSizeSpec

A category of the size specification of a table.

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

TableId