Expand description
Constraint system and related definitions.
Structs§
- AndConstraint
- AND constraint:
A & B = C. - Constraint
System - The ConstraintSystem is the core data structure in Binius64 that defines the computational
constraints to be proven in zero-knowledge. It represents a system of equations over 64-bit
words that must be satisfied by a valid values vector
ValueVec. - MulConstraint
- MUL constraint:
A * B = (HI << 64) | LO. - Proof
- A zero-knowledge proof that can be serialized for cross-host verification.
- Shifted
Value Index - Similar to
ValueIndex, but represents a value that has been shifted by a certain amount. - Value
Index - A type safe wrapper over an index into the
ValueVec. - Value
Vec - The vector of values used in constraint evaluation and proof generation.
- Value
VecLayout - Description of a layout of the value vector for a particular circuit.
- Values
Data - Values data for zero-knowledge proofs (either public witness or non-public part - private inputs and internal values).
Enums§
- Shift
Variant - A different variants of shifting a value.
Type Aliases§
- Operand
- Operand type.