r1cs_gg_ppzksnark/ipp2/generator.hpp
Go to the documentation of this file.
policy_type::srs_type srs_type
Definition: r1cs_gg_ppzksnark/ipp2/generator.hpp:49
static srs_pair_type process(std::size_t num_proofs)
Definition: r1cs_gg_ppzksnark/ipp2/generator.hpp:92
policy_type::srs_pair_type srs_pair_type
Definition: r1cs_gg_ppzksnark/ipp2/generator.hpp:51
static keypair_type process(const constraint_system_type &constraint_system)
Definition: r1cs_gg_ppzksnark/ipp2/generator.hpp:56
policy_type::verification_key_type verification_key_type
Definition: r1cs_gg_ppzksnark/ipp2/generator.hpp:48
policy_type::proving_key_type proving_key_type
Definition: r1cs_gg_ppzksnark/ipp2/generator.hpp:47
policy_type::keypair_type keypair_type
Definition: r1cs_gg_ppzksnark/ipp2/generator.hpp:50
policy_type::constraint_system_type constraint_system_type
Definition: r1cs_gg_ppzksnark/ipp2/generator.hpp:46
Definition: r1cs_gg_ppzksnark/generator.hpp:58
Definition: r1cs_gg_ppzksnark/generator.hpp:49
OutputIterator move(const SinglePassRange &rng, OutputIterator result)
Definition: move.hpp:45
Definition: pair.hpp:31
nil::crypto3::zk::snark::detail::r1cs_gg_ppzksnark_basic_policy< CurveType, ProvingMode::Aggregate >
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp:168
r1cs_gg_ppzksnark_keypair< proving_key_type, verification_key_type > keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp:204
srs_type::srs_pair_type srs_pair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp:233
Definition: r1cs.hpp:124
Definition: srs.hpp:121
srs_pair_type specialize(std::size_t num_proofs)
Definition: srs.hpp:157
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/ipp2/verification_key.hpp:38
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:39