State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Bytecode transformations to produce data-oblivious code
