bacs_ppzksnark/generator.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_ZK_BACS_PPZKSNARK_BASIC_GENERATOR_HPP
27 #define CRYPTO3_ZK_BACS_PPZKSNARK_BASIC_GENERATOR_HPP
28 
31 
32 #include <nil/crypto3/zk/snark/schemes/ppzksnark/r1cs_ppzksnark.hpp>
33 #include <nil/crypto3/zk/snark/schemes/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp>
34 
36 
37 namespace nil {
38  namespace crypto3 {
39  namespace zk {
40  namespace snark {
41 
47  template<typename CurveType>
50 
51  public:
55 
59 
62 
63  static inline keypair_type process(const circuit_type &circuit) {
64  typedef typename CurveType::scalar_field_type field_type;
65 
68  const typename r1cs_ppzksnark<CurveType>::keypair_type r1cs_keypair =
69  generate<r1cs_ppzksnark<CurveType>>(r1cs_cs);
70 
71  return keypair_type(proving_key_type(circuit, r1cs_keypair.first), r1cs_keypair.second);
72  }
73  };
74 
75  } // namespace snark
76  } // namespace zk
77  } // namespace crypto3
78 } // namespace nil
79 
80 #endif // CRYPTO3_ZK_BACS_PPZKSNARK_BASIC_GENERATOR_HPP
Definition: bacs_ppzksnark/generator.hpp:48
policy_type::proving_key_type proving_key_type
Definition: bacs_ppzksnark/generator.hpp:56
policy_type::primary_input_type primary_input_type
Definition: bacs_ppzksnark/generator.hpp:53
policy_type::circuit_type circuit_type
Definition: bacs_ppzksnark/generator.hpp:52
policy_type::proof_type proof_type
Definition: bacs_ppzksnark/generator.hpp:61
policy_type::verification_key_type verification_key_type
Definition: bacs_ppzksnark/generator.hpp:57
policy_type::keypair_type keypair_type
Definition: bacs_ppzksnark/generator.hpp:60
policy_type::auxiliary_input_type auxiliary_input_type
Definition: bacs_ppzksnark/generator.hpp:54
static keypair_type process(const circuit_type &circuit)
Definition: bacs_ppzksnark/generator.hpp:63
policy_type::processed_verification_key_type processed_verification_key_type
Definition: bacs_ppzksnark/generator.hpp:58
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:102
Definition: snark/systems/ppzksnark/r1cs_ppzksnark/proof.hpp:43
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/r1cs_ppzksnark/verification_key.hpp:42
policy_type::keypair_type keypair_type
Definition: r1cs_ppzksnark.hpp:86
Definition: pair.hpp:31
Definition: systems/ppzksnark/bacs_ppzksnark/proving_key.hpp:37
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:63
bacs_primary_input< typename curve_type::scalar_field_type > primary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:74
bacs_ppzksnark_keypair< proving_key_type, verification_key_type > keypair_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:109
bacs_auxiliary_input< typename curve_type::scalar_field_type > auxiliary_input_type
Definition: zk/include/nil/crypto3/zk/snark/systems/ppzksnark/bacs_ppzksnark/detail/basic_policy.hpp:76
static r1cs_constraint_system< FieldType > instance_map(const bacs_circuit< FieldType > &circuit)
Definition: bacs_to_r1cs.hpp:53