Toon's repositories
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.
asn1crypto
Python ASN.1 library with a focus on performance and a pythonic API
pairings.py
Elliptic curve pairing in Python
zk_helpers
Helpers for R1CS and QAP construction, and bn256 pairings. Credits to Vitalik Buterin and Jack Lloyd for original works.