kzg10_verifier_gadget.hpp File Reference

#include "libsnark/gadgetlib1/gadgets/curves/weierstrass_g1_gadget.hpp"
#include "libsnark/gadgetlib1/gadgets/curves/weierstrass_g2_gadget.hpp"
#include "libsnark/gadgetlib1/gadgets/pairing/pairing_checks.hpp"
#include "libsnark/gadgetlib1/protoboard.hpp"
#include "libsnark/polynomial_commitments/kzg10.hpp"
#include "libsnark/gadgetlib1/gadgets/verifiers/kzg10_verifier_gadget.tcc"

Include dependency graph for kzg10_verifier_gadget.hpp:

Go to the source code of this file.

Classes
class	libsnark::kzg10_srs_variable< ppT >
class	libsnark::kzg10_verifier_gadget< ppT >

Namespaces
	libsnark

Typedefs
template<typename ppT >
using	libsnark::kzg10_commitment_variable = G1_variable< ppT >
template<typename ppT >
using	libsnark::kzg10_witness_variable = G1_variable< ppT >

Detailed Description

Author

This file is part of libff, developed by Clearmatics Ltd (originally developed by SCIPR Lab) and contributors (see AUTHORS).

Copyright

MIT license (see LICENSE file)

Definition in file kzg10_verifier_gadget.hpp.