Module mpc_prover 

Functions for proving and verifying the v3 iris/mask code mpc circuit.

Structs

MPCCircuitConstData

MPCCircuitsAndConstData

MPCPartyProof

MPCProof

MPCProver

V3MPCCircuitAndAuxMles

V3MPCCommitments

V3MPCProof

V3MPCProver

A Wrapper around the V3Prover and the MPCProver. Includes the commitments to the iris / mask codes, so that the mpc4 circuits can use the pre-commitments as inputs.

Enums

MPCError

Errors when verifying the MPC Proof

MPCProofError

V3MPCProofError

Functions

generate_mpc_circuit_and_aux_mles_all_3_parties

print_features_status