#include <nil/crypto3/algebra/algorithms/pair.hpp>
#include <nil/crypto3/zk/snark/accumulation_vector.hpp>
#include <nil/crypto3/zk/snark/commitments/knowledge_commitment.hpp>
#include <nil/crypto3/zk/snark/relations/constraint_satisfaction_problems/r1cs.hpp>
#include <nil/crypto3/zk/snark/reductions/r1cs_to_qap.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp>

Include dependency graph for zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/verifier.hpp:

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

Go to the source code of this file.

Classes
class	nil::crypto3::zk::snark::r1cs_gg_ppzksnark_process_verification_key< CurveType, ProvingMode::Basic >

class	nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::Basic >

class	nil::crypto3::zk::snark::r1cs_gg_ppzksnark_verifier_weak_input_consistency< CurveType, ProvingMode::Basic >

Namespaces
	nil

	nil::crypto3

	nil::crypto3::zk

	nil::crypto3::zk::snark

Classes

Namespaces