Module parameters 

Parameters for the mpc circuit

Constants

ENCODING_MATRIX

The actual encoding matrix It’s a square matrix, meaning the size of it is 2^(ENCODING_MATRIX_NUM_VARS)^2 a.k.a. 2^(ENCODING_MATRIX_NUM_VARS*2) a little hack to use from_raw to make sure this encoding matrix can be declared as a const

ENCODING_MATRIX_NUM_VARS_COLS

The dimension of the encoding matrix (column)

ENCODING_MATRIX_NUM_VARS_ROWS

The dimension of the encoding matrix (row)

ENCODING_MATRIX_U64

The actual encoding matrix, but in u64

ENCODING_MATRIX_U64_TRANSPOSE

The actual encoding matrix transposed, also in u64

EVALUATION_POINTS_U64

The actual evaluation points used by the three parties They are 1, x, 1 + x

GR4_ELEM_BIT_LENGTH

The number of bits of the element in the ring Z/2^16Z

GR4_MODULUS

The modulo of the ring Z/2^16Z (used for our galois ring GR4)

GR4_MULTIPLICATION_WIRINGS

The actual wirings for the galois ring GR4 multiplication

GR4_NUM_WIRINGS

The number of wirings for the galois ring GR4 multiplication GR4: GR(2^16, 4) is a Galois extension of Z/2^16Z over the monic polynomial x^4 - x - 1 The formula for multiplying two GR4 ring elements is: say a = a0, a1, a2, a3 and b = b0, b1, b2, b3 then a * b = [ a3b1 + a2b2 + a1b3 + a0b0, a3b2 + a2b3 + a3b1 + a2b2 + a1b3 + a1b0 + a0b1, a3b3 + a3b2 + a2b3 + a2b0 + a1b1 + a0b2, a3b3 + a3b0 + a2b1 + a1b2 + a0b3] Thus, the number of wirings for each coefficient is: sum(4, 7, 6, 5) = 22

MPC_NUM_IRIS_4_CHUNKS

The number of 4 chunks in the iris/mask code for one eye the number of 16384 comes from: 3200 -> padding -> 4096 * 4 = 16384

NUM_PARTIES

The number of parties that we are secret sharing over

TEST_GR4_ELEMENTS

Test data given by Inversed. These are the result of encoding the masked iris code quadruplets into a GR4 element

TEST_MASKED_IRIS_CODES

Test data given by Inversed. Because they give only the masked iris codes, we need to generate random iris codes, and calculate the corresponding mask codes to produce their masked iris codes.

TEST_RANDOMNESSES

Test data given by Inversed. These represents the slopes of the one degree polynomial that encodes the secret shares.

TEST_SHARES

Test data given by Inversed. These represents the expected shares for each of the three parties