starky-bn254 Starky implementation of Fq12 exponentiation G1 scalar multiplication G2 scalar multiplication on BN254 curve.