Up
–
snarkette
»
Snarkette
»
Mnt4_80
»
G2
» Params
Module
G2.Params
val
a :
Fq.t
*
Fq.t
val
b :
Fq.t
*
Fq.t