Clearmatics Libsnark
0.1
C++ library for zkSNARK proofs
|
#include <libsnark/gadgetlib1/gadget.hpp>
#include <memory>
#include <libsnark/gadgetlib1/gadgets/fields/fp2_gadgets.tcc>
Go to the source code of this file.
Classes | |
class | libsnark::Fp2_variable< Fp2T > |
class | libsnark::Fp2_mul_gadget< Fp2T > |
class | libsnark::Fp2_mul_by_lc_gadget< Fp2T > |
class | libsnark::Fp2_sqr_gadget< Fp2T > |
Namespaces | |
libsnark | |
Declaration of interfaces for Fp2 gadgets.
The gadgets verify field arithmetic in Fp2 = Fp[U]/(U^2-non_residue), where non_residue is in Fp.
Definition in file fp2_gadgets.hpp.