State-of-the-art elliptic curve operations and zero-knowledge SNARKS verification tooling for Cairo...