Module data 

Data loading and witness generation

Structs

IriscodeCircuitAuxData

Auxiliary input data for the Worldcoin iriscode circuit.

IriscodeCircuitInputData

Input data for the Worldcoin iriscode circuit.

Functions

build_iriscode_circuit_auxiliary_data

build_iriscode_circuit_data

Build an instance of IriscodeCircuitInputData from the given image, RH multiplicand, thresholds and wiring data, by deriving the iris code.

wirings_to_reroutings

Wirings are a Vec of 4-tuples of u16s; each tuple maps a coordinate of the source matrix to a coordinate of the destination matrix. This function returns the corresponding Vec of 2-tuples of usize, which are the re-routings of the 1d MLEs. Input order is (src_row_idx, src_col_idx, dest_row_idx, dest_col_idx). Output order is (dest_idx, src_idx) (to match [remainder::layer::identity_gate::IdentityGate]).