Toon

verifiable_mpc. A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.

sec_groups. A scheme to implement finite groups as oblivious data structures. The oblivious operations are defined by a set of secure multiparty computation (MPC) protocols. Practical protocols are presented for the group of quadratic residues, elliptic curves groups and class groups of imaginary quadratic orders.

zk_helpers. Helpers for R1CS and QAP construction, and bn256 pairings. Credits to Vitalik Buterin and Jack Lloyd for original works.