Add literals/negation for bls12_381_g1/g2/fr
This MR:
- Allows to use
bls12_381_g1
literals. - It adds missing support for negation.
- A new test case is added (providing proof for
42 * 42 = 1764
).
-
has a changelog entry
Edited by E. Rivas
This MR:
bls12_381_g1
literals.42 * 42 = 1764
).