r1cs_gg_ppzksnark/encrypted_input/prover.hpp
Go to the documentation of this file.
45 typedef detail::r1cs_gg_ppzksnark_basic_policy<CurveType, ProvingMode::EncryptedInput> policy_type;
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp:248
basic_policy::primary_input_type primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp:263
basic_policy::extended_keypair_type keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp:288
basic_policy::auxiliary_input_type auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp:265
Definition: snark/proof.hpp:37
Definition: r1cs_gg_ppzksnark/prover.hpp:58
nil::crypto3::zk::snark::r1cs_gg_ppzksnark_prover< CurveType, ProvingMode::EncryptedInput >::process
static proof_type process(const proving_key_type &gg_proving_key, const PublicKey &pubkey, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input, const typename scalar_field_type::value_type &r)
Definition: r1cs_gg_ppzksnark/encrypted_input/prover.hpp:63
policy_type::proof_type proof_type
Definition: r1cs_gg_ppzksnark/encrypted_input/prover.hpp:59
policy_type::keypair_type keypair_type
Definition: r1cs_gg_ppzksnark/encrypted_input/prover.hpp:58
policy_type::auxiliary_input_type auxiliary_input_type
Definition: r1cs_gg_ppzksnark/encrypted_input/prover.hpp:56
policy_type::primary_input_type primary_input_type
Definition: r1cs_gg_ppzksnark/encrypted_input/prover.hpp:55
policy_type::proving_key_type proving_key_type
Definition: r1cs_gg_ppzksnark/encrypted_input/prover.hpp:57
Definition: r1cs_gg_ppzksnark/prover.hpp:47
OutputIterator move(const SinglePassRange &rng, OutputIterator result)
Definition: move.hpp:45
boost::mpl::apply< AccumulatorSet, tag::pubkey< ProcessingMode > >::type::result_type pubkey(const AccumulatorSet &acc)
Definition: accumulators/pubkey.hpp:106
@ EncryptedInput
Definition: pair.hpp:31
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/detail/basic_policy.hpp:78
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:40
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:39