r1cs_ppzksnark_verifier_gadget.hpp File Reference

#include <libsnark/gadgetlib1/gadgets/basic_gadgets.hpp>
#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/gadgets/pairing/pairing_params.hpp>
#include <libsnark/zk_proof_systems/ppzksnark/r1cs_ppzksnark/r1cs_ppzksnark.hpp>
#include <libsnark/gadgetlib1/gadgets/verifiers/r1cs_ppzksnark_verifier_gadget.tcc>

Include dependency graph for r1cs_ppzksnark_verifier_gadget.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	libsnark::r1cs_ppzksnark_proof_variable< ppT >
class	libsnark::r1cs_ppzksnark_verification_key_variable< ppT >
class	libsnark::r1cs_ppzksnark_preprocessed_r1cs_ppzksnark_verification_key_variable< ppT >
class	libsnark::r1cs_ppzksnark_verifier_process_vk_gadget< ppT >
class	libsnark::r1cs_ppzksnark_online_verifier_gadget< ppT >
class	libsnark::r1cs_ppzksnark_verifier_gadget< ppT >

Namespaces
	libsnark

Detailed Description

Declaration of interfaces for the the R1CS ppzkSNARK verifier gadget.

The gadget r1cs_ppzksnark_verifier_gadget verifiers correct computation of r1cs_ppzksnark_verifier_strong_IC. The gadget is built from two main sub-gadgets:

• r1cs_ppzksnark_verifier_process_vk_gadget, which verifies correct computation of r1cs_ppzksnark_verifier_process_vk, and

• r1cs_ppzksnark_online_verifier_gadget, which verifies correct computation of r1cs_ppzksnark_online_verifier_strong_IC. See r1cs_ppzksnark.hpp for description of the aforementioned functions.

  Author

  This file is part of libsnark, developed by SCIPR Lab and contributors (see AUTHORS).

  Copyright

  MIT license (see LICENSE file)

Definition in file r1cs_ppzksnark_verifier_gadget.hpp.