uscs_ppzksnark.hpp
Go to the documentation of this file.
1 //---------------------------------------------------------------------------//
2 // Copyright (c) 2020 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_USCS_PPZKSNARK_HPP
27 #define CRYPTO3_USCS_PPZKSNARK_HPP
28 
29 #include <nil/crypto3/zk/snark/schemes/ppzksnark/uscs_ppzksnark/detail/basic_policy.hpp>
30 
31 #include <nil/crypto3/zk/snark/schemes/ppzksnark/uscs_ppzksnark/generator.hpp>
32 #include <nil/crypto3/zk/snark/schemes/ppzksnark/uscs_ppzksnark/prover.hpp>
33 #include <nil/crypto3/zk/snark/schemes/ppzksnark/uscs_ppzksnark/verifier.hpp>
34 
35 namespace nil {
36  namespace crypto3 {
37  namespace zk {
38  namespace snark {
67  template<typename CurveType,
68  typename Generator = uscs_ppzksnark_generator<CurveType>,
69  typename Prover = uscs_ppzksnark_prover<CurveType>,
70  typename Verifier = uscs_ppzksnark_verifier_strong_input_consistency<CurveType>>
73 
74  public:
78 
82 
85 
86  static inline keypair_type generate(const constraint_system_type &constraint_system) {
87  return Generator::process(constraint_system);
88  }
89 
90  static inline proof_type prove(const proving_key_type &pk,
91  const primary_input_type &primary_input,
92  const auxiliary_input_type &auxiliary_input) {
93 
94  return Prover::process(pk, primary_input, auxiliary_input);
95  }
96 
97  template<typename VerificationKey>
98  static inline bool verify(const VerificationKey &vk,
99  const primary_input_type &primary_input,
100  const proof_type &proof) {
101  return Verifier::process(vk, primary_input, proof);
102  }
103  };
104  } // namespace snark
105  } // namespace zk
106  } // namespace crypto3
107 } // namespace nil
108 
109 #endif // CRYPTO3_USCS_PPZKSNARK_HPP
Definition: snark/proof.hpp:37
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:87
Definition: snark/systems/ppzksnark/uscs_ppzksnark/proof.hpp:41
Definition: systems/ppzksnark/uscs_ppzksnark/proving_key.hpp:39
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/verification_key.hpp:42
ppzkSNARK for USCS
Definition: uscs_ppzksnark.hpp:71
static bool verify(const VerificationKey &vk, const primary_input_type &primary_input, const proof_type &proof)
Definition: uscs_ppzksnark.hpp:98
policy_type::proving_key_type proving_key_type
Definition: uscs_ppzksnark.hpp:79
policy_type::proof_type proof_type
Definition: uscs_ppzksnark.hpp:84
policy_type::keypair_type keypair_type
Definition: uscs_ppzksnark.hpp:83
static keypair_type generate(const constraint_system_type &constraint_system)
Definition: uscs_ppzksnark.hpp:86
policy_type::auxiliary_input_type auxiliary_input_type
Definition: uscs_ppzksnark.hpp:77
policy_type::processed_verification_key_type processed_verification_key_type
Definition: uscs_ppzksnark.hpp:81
policy_type::verification_key_type verification_key_type
Definition: uscs_ppzksnark.hpp:80
policy_type::primary_input_type primary_input_type
Definition: uscs_ppzksnark.hpp:76
static proof_type prove(const proving_key_type &pk, const primary_input_type &primary_input, const auxiliary_input_type &auxiliary_input)
Definition: uscs_ppzksnark.hpp:90
policy_type::constraint_system_type constraint_system_type
Definition: uscs_ppzksnark.hpp:75
Definition: pair.hpp:31
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/detail/basic_policy.hpp:78
uscs_auxiliary_input< typename CurveType::scalar_field_type > auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/detail/basic_policy.hpp:90
uscs_primary_input< typename CurveType::scalar_field_type > primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/detail/basic_policy.hpp:88
uscs_ppzksnark_keypair< proving_key_type, verification_key_type > keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/uscs_ppzksnark/detail/basic_policy.hpp:122