snark/proof.hpp
Go to the documentation of this file.
1 //---------------------------------------------------------------------------//
2 // Copyright (c) 2018-2021 Mikhail Komarov <nemo@nil.foundation>
3 //
4 // MIT License
5 //
6 // Permission is hereby granted, free of charge, to any person obtaining a copy
7 // of this software and associated documentation files (the "Software"), to deal
8 // in the Software without restriction, including without limitation the rights
9 // to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 // copies of the Software, and to permit persons to whom the Software is
11 // furnished to do so, subject to the following conditions:
12 //
13 // The above copyright notice and this permission notice shall be included in all
14 // copies or substantial portions of the Software.
15 //
16 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
19 // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
22 // SOFTWARE.
23 //---------------------------------------------------------------------------//
24 
25 #ifndef CRYPTO3_ZK_SNARK_PROOF_HPP
26 #define CRYPTO3_ZK_SNARK_PROOF_HPP
27 
28 #include <numeric>
29 
30 #include <nil/crypto3/zk/proof.hpp>
31 
32 namespace nil {
33  namespace crypto3 {
34  namespace zk {
35  namespace snark {
36  template<typename ZkScheme>
37  class proof : public zk::proof<ZkScheme> {
39 
40  public:
42 
43  typedef typename scheme_type::curve_type curve_type;
44 
45  constexpr static const std::size_t g1_bits = curve_type::g1_bits;
46  typedef typename curve_type::g1_type g1_type;
47 
48  constexpr static const std::size_t g2_bits = curve_type::g2_bits;
49  typedef typename curve_type::g2_type g2_type;
50  };
51  } // namespace snark
52  } // namespace zk
53  } // namespace crypto3
54 } // namespace nil
55 
56 #endif
Definition: snark/proof.hpp:37
curve_type::g1_type g1_type
Definition: snark/proof.hpp:46
policy_type::scheme_type scheme_type
Definition: snark/proof.hpp:41
constexpr static const std::size_t g2_bits
Definition: snark/proof.hpp:48
curve_type::g2_type g2_type
Definition: snark/proof.hpp:49
constexpr static const std::size_t g1_bits
Definition: snark/proof.hpp:45
scheme_type::curve_type curve_type
Definition: snark/proof.hpp:43
Definition: pair.hpp:31
Definition: proof.hpp:34
ZkScheme scheme_type
Definition: proof.hpp:35