zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp
Go to the documentation of this file.
std::size_t size() const
Definition: accumulation_vector.hpp:83
std::size_t size_in_bits() const
Definition: accumulation_vector.hpp:87
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:87
accumulation_vector< typename CurveType::template g1_type<> > encoded_IC_query
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:100
CurveType curve_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:91
CurveType::gt_type::value_type pairing_of_g1_and_g2
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:98
pairing_policy::g2_precomputed_type vk_alpha_tilde_g2_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:96
pairing_policy::g2_precomputed_type vk_Z_g2_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:97
pairing_policy::g2_precomputed_type vk_tilde_g2_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:95
pairing_policy::g1_precomputed_type pp_G1_one_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:93
bool operator==(const uscs_ppzksnark_processed_verification_key &other) const
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:102
pairing_policy::g2_precomputed_type pp_G2_one_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:94
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:42
std::size_t G2_size() const
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:65
g2_type::value_type tilde_g2
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:47
uscs_ppzksnark_verification_key()=default
g2_type::value_type Z_g2
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:49
bool operator==(const uscs_ppzksnark_verification_key &other) const
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:73
std::size_t size_in_bits() const
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:69
g2_type::value_type alpha_tilde_g2
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:48
accumulation_vector< g1_type > encoded_IC_query
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:51
uscs_ppzksnark_verification_key(const typename g2_type::value_type &tilde_g2, const typename g2_type::value_type &alpha_tilde_g2, const typename g2_type::value_type &Z_g2, const accumulation_vector< g1_type > &eIC)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:54
std::size_t G1_size() const
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:61
Definition: pair.hpp:31