Module circuits 

The circuit itself

Constants

MPC_AUXILIARY_INVARIANT_LAYER

all other public inputs, such as the evaluation points, the encoding matrix, the lookup_table_values. Should (probably) be public + common among parties.

MPC_AUXILIARY_LAYER

The input layer for quotients and multiplicities

MPC_ENCODING_MATRIX_SHRED

MPC_EVALUATION_POINTS_SHRED

MPC_IRISCODE_INPUT_LAYER

The private input layer for the iris code (private), obtained through running the iriscode circuit

MPC_IRISCODE_SHRED

MPC_LOOKUP_TABLE_VALUES_SHRED

MPC_MASKCODE_INPUT_LAYER

The private input layer for the mask code (private), obtained through running the iriscode circuit

MPC_MASKCODE_SHRED

MPC_MULTIPLICITIES_SHARES_SHRED

MPC_MULTIPLICITIES_SLOPES_SHRED

MPC_QUOTIENTS_SHRED

MPC_SHARES_LAYER

The input layer for shares_reduced_modulo_gr4_modulus, public

MPC_SHARES_SHRED

MPC_SLOPES_LAYER

The private input layer for the slope (private and generated randomly).

MPC_SLOPES_SHRED

Functions

build_circuit

Builds the mpc circuit. The full circuit spec can be referenced here: https://www.notion.so/MPC-Circuit-Builders-8fe15c8d8f4b4db18cbf85344ccbb9df?pvs=4

mpc_attach_data

Generates a mapping from Layer IDs to their respective MLEs, by attaching the MPCInputBuilderMetadata onto a circuit that is described through the input_builder_metadata of an MPC secret share circuit.