r1cs_gg_ppzksnark/encrypted_input/generator.hpp
Go to the documentation of this file.
39 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
policy_type::primary_input_type primary_input_type
Definition: r1cs_gg_ppzksnark/encrypted_input/generator.hpp:49
policy_type::constraint_system_type constraint_system_type
Definition: r1cs_gg_ppzksnark/encrypted_input/generator.hpp:48
policy_type::auxiliary_input_type auxiliary_input_type
Definition: r1cs_gg_ppzksnark/encrypted_input/generator.hpp:50
policy_type::proving_key_type proving_key_type
Definition: r1cs_gg_ppzksnark/encrypted_input/generator.hpp:52
policy_type::keypair_type keypair_type
Definition: r1cs_gg_ppzksnark/encrypted_input/generator.hpp:55
static std::enable_if< std::is_same< keypair_type, KeyPairType >::value, KeyPairType >::type process(const constraint_system_type &constraint_system)
Definition: r1cs_gg_ppzksnark/encrypted_input/generator.hpp:64
policy_type::verification_key_type verification_key_type
Definition: r1cs_gg_ppzksnark/encrypted_input/generator.hpp:53
policy_type::proof_type proof_type
Definition: r1cs_gg_ppzksnark/encrypted_input/generator.hpp:56
Definition: r1cs_gg_ppzksnark/generator.hpp:58
Definition: r1cs_gg_ppzksnark/generator.hpp:49
@ EncryptedInput
Definition: pair.hpp:31
Definition: r1cs.hpp:124
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_gg_ppzksnark/verification_key.hpp:121
Definition: snark/systems/ppzksnark/r1cs_gg_ppzksnark/proof.hpp:40
Definition: systems/ppzksnark/r1cs_gg_ppzksnark/proving_key.hpp:39