Awesome

Cairo implementation of alt_bn128

alt_bn128 is a pairing-friendly elliptic curve that can be used to verify computations done by snarks.

We implement the pairing function based on the code from this repository.

Make sure you are inside a Cairo virtual environment

make

Hint verifications for pairing-related functions on FQ12