r1cs_ppzkadsnark.hpp
Go to the documentation of this file.
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:442
Definition: r1cs_ppzkadsnark.hpp:37
policy_type::keypair_type keypair_type
Definition: r1cs_ppzkadsnark.hpp:60
policy_type::proving_key_type proving_key_type
Definition: r1cs_ppzkadsnark.hpp:56
policy_type::vkT vkT
Definition: r1cs_ppzkadsnark.hpp:47
policy_type::auth_data auth_data_type
Definition: r1cs_ppzkadsnark.hpp:54
policy_type::verification_key_type verification_key_type
Definition: r1cs_ppzkadsnark.hpp:57
policy_type::sec_auth_key sec_auth_key_type
Definition: r1cs_ppzkadsnark.hpp:52
policy_type::secret_key secret_key
Definition: r1cs_ppzkadsnark.hpp:46
policy_type::processed_verification_key_type processed_verification_key_type
Definition: r1cs_ppzkadsnark.hpp:58
policy_type::constraint_system_type constraint_system
Definition: r1cs_ppzkadsnark.hpp:42
policy_type::proof proof_type
Definition: r1cs_ppzkadsnark.hpp:61
policy_type::snark_pp snark_pp
Definition: r1cs_ppzkadsnark.hpp:41
policy_type::primary_input_type primary_input
Definition: r1cs_ppzkadsnark.hpp:43
policy_type::pub_auth_key pub_auth_key_type
Definition: r1cs_ppzkadsnark.hpp:53
policy_type::auxiliary_input_type auxiliary_input
Definition: r1cs_ppzkadsnark.hpp:44
policy_type::prf_key prf_key
Definition: r1cs_ppzkadsnark.hpp:49
policy_type::signature signature
Definition: r1cs_ppzkadsnark.hpp:48
policy_type::pub_auth_prms pub_auth_prms_type
Definition: r1cs_ppzkadsnark.hpp:51
Definition: pair.hpp:31
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:213
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:174
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:127
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:147
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:84
static keypair< CurveType > generator(const constraint_system< CurveType > &cs, const pub_auth_prms< CurveType > &prms)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:597
typename r1cs_ppzkadsnark_ppT::vkT vkT
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:113
static std::vector< auth_data< CurveType > > auth_sign(const std::vector< typename CurveType::scalar_field_type::value_type > &ins, const sec_auth_key< CurveType > &sk, const std::vector< label_type > labels)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:533
static bool verifier(const verification_key< CurveType > &vk, const proof< CurveType > &proof, const sec_auth_key< CurveType > &sak, const std::vector< label_type > &labels)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:1089
typename r1cs_ppzkadsnark_ppT::prfKeyT prf_key
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:119
typename r1cs_ppzkadsnark_ppT::sigT signature
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:116
static bool online_verifier(const processed_verification_key< CurveType > &pvk, const proof< CurveType > &proof, const sec_auth_key< CurveType > &sak, const std::vector< label_type > &labels)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:957
typename r1cs_ppzkadsnark_ppT::skT secret_key
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:110
typename r1cs_ppzkadsnark_ppT::snark_pp snark_pp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:98
static auth_keys< CurveType > auth_generator(void)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:514
static bool auth_verify(const std::vector< typename CurveType::scalar_field_type::value_type > &data, const std::vector< auth_data< CurveType >> &auth_data, const sec_auth_key< CurveType > &sak, const std::vector< label_type > &labels)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:558
static proof< CurveType > prover(const proving_key< CurveType > &pk, const primary_input< CurveType > &primary_input, const auxiliary_input< CurveType > &auxiliary_input, const std::vector< auth_data< CurveType >> &auth_data)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzkadsnark/r1cs_ppzkadsnark/detail/basic_policy.hpp:765