#include <type_traits>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/modes.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/generator.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/prover.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/verifier.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/generator.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/prover.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/verifier.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/encrypted_input/generator.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/encrypted_input/prover.hpp>
#include <nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/encrypted_input/verifier.hpp>

Include dependency graph for r1cs_gg_ppzksnark.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< CurveType, Generator, Prover, Verifier, ProvingMode::Aggregate, typename std::enable_if< is_aggregate_mode< CurveType, Generator, Prover, Verifier >::value >::type >

class	nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::Basic, typename std::enable_if< is_basic_mode< CurveType, Generator, Prover, Verifier >::value >::type >

class	nil::crypto3::zk::snark::r1cs_gg_ppzksnark< CurveType, Generator, Prover, Verifier, ProvingMode::EncryptedInput, typename std::enable_if< is_encrypted_input_mode< CurveType, Generator, Prover, Verifier >::value >::type >

Namespaces
	nil

	nil::crypto3

	nil::crypto3::zk

	nil::crypto3::zk::snark

Typedefs
template<typename CurveType , typename Generator , typename Prover , typename Verifier >
using	nil::crypto3::zk::snark::is_aggregate_mode = typename std::bool_constant< std::is_same< r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Aggregate >, Generator >::value &&std::is_same< r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Aggregate >, Prover >::value &&std::is_same< r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::Aggregate >, Verifier >::value >

template<typename CurveType , typename Generator , typename Prover , typename Verifier >
using	nil::crypto3::zk::snark::is_basic_mode = typename std::bool_constant< std::is_same< r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::Basic >, Generator >::value &&std::is_same< r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::Basic >, Prover >::value &&(std::is_same< r1cs_gg_ppzksnark_verifier_weak_input_consistency< CurveType, ProvingMode::Basic >, Verifier >::value\|\|std::is_same< r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::Basic >, Verifier >::value)>

template<typename CurveType , typename Generator , typename Prover , typename Verifier >
using	nil::crypto3::zk::snark::is_encrypted_input_mode = typename std::bool_constant< std::is_same< r1cs_gg_ppzksnark_generator< CurveType, ProvingMode::EncryptedInput >, Generator >::value &&std::is_same< r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::EncryptedInput >, Prover >::value &&std::is_same< r1cs_gg_ppzksnark_verifier_strong_input_consistency< CurveType, ProvingMode::EncryptedInput >, Verifier >::value >

Classes

Namespaces

Typedefs