Expand description
Parameters for the v3 RLC circuit
Constants§
- BASE
- The base of the complementary decomposition of the thresholded responses.
- IM_
NUM_ COLS - The number of columns in the image
- IM_
NUM_ ROWS - The number of rows in the image
- IM_
NUM_ VARS - The number of variables in the MLE getting rerouted (typically the image input)
- IM_
STRIP_ NUM_ COLS - The number of columns in a strip of the image
- IM_
STRIP_ NUM_ ROWS - IMAGE STRIPS: the image is decomposed into strips which are RLC’d together. The number of rows in a strip of the image
- IRISCODE_
COMMIT_ LOG_ NUM_ COLS - The log number of columns to use for the Hyrax commitment to the iris/mask code
- IRISCODE_
LEN - The length of the unpadded iris code
- LOG_
NUM_ 🔒DIGITS - LOG_
NUM_ STRIPS - The number of image strips = the number of MLEs being RLC’d
- MATMULT_
COLS_ NUM_ VARS - The number of variables of columns of the result of the matrix multiplication
- MATMULT_
INTERNAL_ DIM_ NUM_ VARS - The number of internal dimension variables of the matrix multiplication
- MATMULT_
ROWS_ NUM_ VARS - The number of variables of rows of the result of the matrix multiplication
- NUM_
DIGITS - The number of digits in the complementary decomposition of the thresholded responses.
- SHAMIR_
SECRET_ SHARE_ SLOPE_ LOG_ NUM_ COLS - The log number of columns to use for the Hyrax commitment to the Shamir secret share polynomial slopes
Statics§
- IMAGE_
STRIP_ WIRINGS - The wirings for building the 16 image strips, first a flattened u16 array, then serialized as bytes
- IRIS_
RH_ MULTIPLICAND - The RH multiplicand for the iris circuit, first flattened as a 1d i32 array, then serialized as bytes.
- IRIS_
THRESHOLDS - The thresholds for the iris circuit, first flattened as a 1d i64 array, then serialized as bytes.
- LH_
MATRIX_ WIRINGS - The wirings from the RLC’d image (2d) to the LH matrix multiplicand (2d), first a flattened u16 array, then serialized as bytes
- MASK_
RH_ MULTIPLICAND - The RH multiplicand for the mask circuit, first flattened as a 1d i32 array, then serialized as bytes.
- MASK_
THRESHOLDS - The thresholds for the mask circuit, first flattened as a 1d i64 array, then serialized as bytes.