snarks
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Tooling for writing data-oblivious programs (mpyc, pysnark, ...) using non-oblivious constructs (if/for/...)
