snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.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_SE_PPZKSNARK_PROOF_HPP
27 #define CRYPTO3_R1CS_SE_PPZKSNARK_PROOF_HPP
28 
29 namespace nil {
30  namespace crypto3 {
31  namespace zk {
32  namespace snark {
40  template<typename CurveType>
42 
43  typedef CurveType curve_type;
44 
45  using g1_type = typename CurveType::template g1_type<>;
46  using g2_type = typename CurveType::template g2_type<>;
47 
48  public:
49 
50  typename g1_type::value_type A;
51  typename g2_type::value_type B;
52  typename g1_type::value_type C;
53 
55  }
56  r1cs_se_ppzksnark_proof(typename g1_type::value_type &&A,
57  typename g2_type::value_type &&B,
58  typename g1_type::value_type &&C) :
59  A(std::move(A)),
60  B(std::move(B)), C(std::move(C)) {};
61 
62  std::size_t G1_size() const {
63  return 2;
64  }
65 
66  std::size_t G2_size() const {
67  return 1;
68  }
69 
70  std::size_t size_in_bits() const {
71  return G1_size() * g1_type::value_bits + G2_size() * g2_type::value_bits;
72  }
73 
74  bool is_well_formed() const {
75  return (A.is_well_formed() && B.is_well_formed() && C.is_well_formed());
76  }
77 
78  bool operator==(const r1cs_se_ppzksnark_proof &other) const {
79  return (this->A == other.A && this->B == other.B && this->C == other.C);
80  }
81  };
82  } // namespace snark
83  } // namespace zk
84  } // namespace crypto3
85 } // namespace nil
86 
87 #endif // CRYPTO3_R1CS_PPZKSNARK_BASIC_PROVER_HPP
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:41
g2_type::value_type B
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:51
g1_type::value_type A
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:50
std::size_t size_in_bits() const
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:70
bool is_well_formed() const
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:74
r1cs_se_ppzksnark_proof()
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:54
g1_type::value_type C
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:52
r1cs_se_ppzksnark_proof(typename g1_type::value_type &&A, typename g2_type::value_type &&B, typename g1_type::value_type &&C)
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:56
bool operator==(const r1cs_se_ppzksnark_proof &other) const
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:78
std::size_t G1_size() const
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:62
std::size_t G2_size() const
Definition: snark/systems/ppzksnark/r1cs_se_ppzksnark/proof.hpp:66
OutputIterator move(const SinglePassRange &rng, OutputIterator result)
Definition: move.hpp:45
Definition: pair.hpp:31