zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp
Go to the documentation of this file.
1 //---------------------------------------------------------------------------//
2 // Copyright (c) 2018-2021 Mikhail Komarov <nemo@nil.foundation>
3 // Copyright (c) 2020-2021 Nikita Kaskov <nbering@nil.foundation>
4 //
5 // MIT License
6 //
7 // Permission is hereby granted, free of charge, to any person obtaining a copy
8 // of this software and associated documentation files (the "Software"), to deal
9 // in the Software without restriction, including without limitation the rights
10 // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11 // copies of the Software, and to permit persons to whom the Software is
12 // furnished to do so, subject to the following conditions:
13 //
14 // The above copyright notice and this permission notice shall be included in all
15 // copies or substantial portions of the Software.
16 //
17 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
20 // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
23 // SOFTWARE.
24 //---------------------------------------------------------------------------//
25 
26 #ifndef CRYPTO3_R1CS_PPZKSNARK_VERIFICATION_KEY_HPP
27 #define CRYPTO3_R1CS_PPZKSNARK_VERIFICATION_KEY_HPP
28 
30 
31 namespace nil {
32  namespace crypto3 {
33  namespace zk {
34  namespace snark {
35 
36  using namespace algebra;
37 
41  template<typename CurveType>
43 
44  using g1_type = typename CurveType::template g1_type<>;
45  using g2_type = typename CurveType::template g2_type<>;
46 
47  public:
48 
49  typename g2_type::value_type alphaA_g2;
50  typename g1_type::value_type alphaB_g1;
51  typename g2_type::value_type alphaC_g2;
52  typename g2_type::value_type gamma_g2;
53  typename g1_type::value_type gamma_beta_g1;
54  typename g2_type::value_type gamma_beta_g2;
55  typename g2_type::value_type rC_Z_g2;
56 
58 
60  r1cs_ppzksnark_verification_key(const typename g2_type::value_type &alphaA_g2,
61  const typename g1_type::value_type &alphaB_g1,
62  const typename g2_type::value_type &alphaC_g2,
63  const typename g2_type::value_type &gamma_g2,
64  const typename g1_type::value_type &gamma_beta_g1,
65  const typename g2_type::value_type &gamma_beta_g2,
66  const typename g2_type::value_type &rC_Z_g2,
67  const accumulation_vector<g1_type> &eIC) :
68  alphaA_g2(alphaA_g2),
69  alphaB_g1(alphaB_g1), alphaC_g2(alphaC_g2), gamma_g2(gamma_g2), gamma_beta_g1(gamma_beta_g1),
70  gamma_beta_g2(gamma_beta_g2), rC_Z_g2(rC_Z_g2), encoded_IC_query(eIC) {};
71 
72  std::size_t G1_size() const {
73  return 2 + encoded_IC_query.size();
74  }
75 
76  std::size_t G2_size() const {
77  return 5;
78  }
79 
80  std::size_t size_in_bits() const {
81  return (2 * g1_type::value_bits + encoded_IC_query.size_in_bits() +
82  5 * g2_type::value_bits);
83  }
84 
85  bool operator==(const r1cs_ppzksnark_verification_key &other) const {
86  return (this->alphaA_g2 == other.alphaA_g2 && this->alphaB_g1 == other.alphaB_g1 &&
87  this->alphaC_g2 == other.alphaC_g2 && this->gamma_g2 == other.gamma_g2 &&
88  this->gamma_beta_g1 == other.gamma_beta_g1 &&
89  this->gamma_beta_g2 == other.gamma_beta_g2 && this->rC_Z_g2 == other.rC_Z_g2 &&
90  this->encoded_IC_query == other.encoded_IC_query);
91  }
92  };
93 
101  template<typename CurveType>
103 
105 
106  public:
107 
108  typename pairing_policy::g2_precomputed_type pp_G2_one_precomp;
109  typename pairing_policy::g2_precomputed_type vk_alphaA_g2_precomp;
110  typename pairing_policy::g1_precomputed_type vk_alphaB_g1_precomp;
111  typename pairing_policy::g2_precomputed_type vk_alphaC_g2_precomp;
112  typename pairing_policy::g2_precomputed_type vk_rC_Z_g2_precomp;
113  typename pairing_policy::g2_precomputed_type vk_gamma_g2_precomp;
114  typename pairing_policy::g1_precomputed_type vk_gamma_beta_g1_precomp;
115  typename pairing_policy::g2_precomputed_type vk_gamma_beta_g2_precomp;
116 
118 
120  return (this->pp_G2_one_precomp == other.pp_G2_one_precomp &&
121  this->vk_alphaA_g2_precomp == other.vk_alphaA_g2_precomp &&
122  this->vk_alphaB_g1_precomp == other.vk_alphaB_g1_precomp &&
123  this->vk_alphaC_g2_precomp == other.vk_alphaC_g2_precomp &&
124  this->vk_rC_Z_g2_precomp == other.vk_rC_Z_g2_precomp &&
125  this->vk_gamma_g2_precomp == other.vk_gamma_g2_precomp &&
126  this->vk_gamma_beta_g1_precomp == other.vk_gamma_beta_g1_precomp &&
127  this->vk_gamma_beta_g2_precomp == other.vk_gamma_beta_g2_precomp &&
128  this->encoded_IC_query == other.encoded_IC_query);
129  }
130  };
131  } // namespace snark
132  } // namespace zk
133  } // namespace crypto3
134 } // namespace nil
135 
136 #endif // CRYPTO3_R1CS_PPZKSNARK_BASIC_PROVER_HPP
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/r1cs_ppzksnark/verification_key.hpp:102
pairing_policy::g1_precomputed_type vk_gamma_beta_g1_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:114
pairing_policy::g2_precomputed_type vk_alphaC_g2_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:111
pairing_policy::g1_precomputed_type vk_alphaB_g1_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:110
pairing_policy::g2_precomputed_type pp_G2_one_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:108
accumulation_vector< typename CurveType::template g1_type<> > encoded_IC_query
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:117
bool operator==(const r1cs_ppzksnark_processed_verification_key &other) const
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:119
pairing_policy::g2_precomputed_type vk_alphaA_g2_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:109
pairing_policy::g2_precomputed_type vk_gamma_beta_g2_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:115
pairing_policy::g2_precomputed_type vk_gamma_g2_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:113
pairing_policy::g2_precomputed_type vk_rC_Z_g2_precomp
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:112
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:42
std::size_t G2_size() const
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:76
g1_type::value_type alphaB_g1
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:50
g2_type::value_type gamma_beta_g2
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:54
g2_type::value_type alphaA_g2
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:49
accumulation_vector< g1_type > encoded_IC_query
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:57
bool operator==(const r1cs_ppzksnark_verification_key &other) const
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:85
g1_type::value_type gamma_beta_g1
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:53
g2_type::value_type gamma_g2
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:52
r1cs_ppzksnark_verification_key(const typename g2_type::value_type &alphaA_g2, const typename g1_type::value_type &alphaB_g1, const typename g2_type::value_type &alphaC_g2, const typename g2_type::value_type &gamma_g2, const typename g1_type::value_type &gamma_beta_g1, const typename g2_type::value_type &gamma_beta_g2, const typename g2_type::value_type &rC_Z_g2, const accumulation_vector< g1_type > &eIC)
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:60
std::size_t size_in_bits() const
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:80
std::size_t G1_size() const
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:72
g2_type::value_type rC_Z_g2
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:55
g2_type::value_type alphaC_g2
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:51
Definition: pair.hpp:31