garaga 1.0.1

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet