Module data 

Data loading and witness generation

Structs

MPCCircuitInputData

Used for instantiating the mpc circuit.

Functions

fetch_inversed_test_data

Fetch one quadruplets from the test data given by Inversed, test_idx specifies which copy

gen_mpc_common_aux_data

gen_mpc_encoding_matrix

gen_mpc_evaluation_points

gen_mpc_input_data

Selects the encoding matrix, and Calculates the quotients, expected_shares (modulo gr4), and the multiplicities returns as a tuple, in the folllowing order: (encoding_matrix, quotients, expected_shares, multiplicities)

generate_trivial_test_data

create test data for mpc circuits, control the size of such