State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
zk-SNARKs in Python
