Raw File
mul_bls12_381_g1.tz
parameter (pair bls12_381_g1 bls12_381_fr);
storage (option (bls12_381_g1));
code {CAR; UNPAIR; MUL; SOME; NIL operation; PAIR}
back to top