Module circuits 

The circuit itself

Constants

V3_AUXILIARY_LAYER

All the other public inputs (lookup table values, to sub from matmult & RH multiplicand of matmult).

V3_DIGITS_LAYER

The input layer for the digit values and the digit multiplicities (typically private).

V3_DIGITS_MULTIPLICITIES_SHRED

V3_DIGITS_SHRED_TEMPLATE

V3_INPUT_IMAGE_LAYER

The input layer for the image (typically private).

V3_INPUT_IMAGE_SHRED

V3_LOOKUP_SHRED

V3_RH_MATMULT_SHRED

V3_SIGN_BITS_LAYER

The input layer for the iris/mask code.

V3_SIGN_BITS_SHRED

V3_TO_SUB_MATMULT_SHRED

Functions

build_iriscode_circuit_description

Build the Circuit<F> which is the circuit description of the iris code circuit.

iriscode_ss_attach_aux_data

iriscode_ss_attach_input_data

Generates a mapping from Layer IDs to their respective MLEs, by attaching the iriscode_data onto a circuit that is described through the input_builder_metadata.