Expand description
Protocol-level constants for the Binius64 constraint system.
Constantsยง
- BYTE_
BITS - The number of bits in a byte.
- LOG_
BYTE_ BITS - log2 of
BYTE_BITS. - LOG_
WORD_ SIZE_ BITS - log2 of
WORD_SIZE_BITS. - MIN_
AND_ CONSTRAINTS - Minimum number of AND constraints (must be a power of 2). This is a protocol requirement for the constraint system.
- MIN_
MUL_ CONSTRAINTS - Minimum number of MUL constraints (must be a power of 2). This is a protocol requirement for the constraint system.
- MIN_
WORDS_ PER_ SEGMENT - The minimum number of words per segment.
- WORD_
SIZE_ BITS - The protocol proves constraint systems over 64-bit words.