Electroneum
bulletproofs.h
Go to the documentation of this file.
1 // Copyright (c) 2014-2019, The Monero Project
2 //
3 // All rights reserved.
4 //
5 // Redistribution and use in source and binary forms, with or without modification, are
6 // permitted provided that the following conditions are met:
7 //
8 // 1. Redistributions of source code must retain the above copyright notice, this list of
9 // conditions and the following disclaimer.
10 //
11 // 2. Redistributions in binary form must reproduce the above copyright notice, this list
12 // of conditions and the following disclaimer in the documentation and/or other
13 // materials provided with the distribution.
14 //
15 // 3. Neither the name of the copyright holder nor the names of its contributors may be
16 // used to endorse or promote products derived from this software without specific
17 // prior written permission.
18 //
19 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY
20 // EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
21 // MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL
22 // THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
23 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
24 // PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
25 // INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
26 // STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF
27 // THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 //
29 // Parts of this file are originally copyright (c) 2012-2013 The Cryptonote developers
30 
31 #pragma once
32 #include "chaingen.h"
33 
35 {
37  : m_invalid_tx_index(0)
38  , m_invalid_block_index(0)
39  {
42  }
43 
44  bool check_tx_verification_context(const cryptonote::tx_verification_context& tvc, bool tx_added, size_t event_idx, const cryptonote::transaction& /*tx*/)
45  {
46  if (m_invalid_tx_index == event_idx)
47  return tvc.m_verification_failed;
48  else
49  return !tvc.m_verification_failed && tx_added;
50  }
51 
52  bool check_tx_verification_context_array(const std::vector<cryptonote::tx_verification_context>& tvcs, size_t tx_added, size_t event_idx, const std::vector<cryptonote::transaction>& /*txs*/)
53  {
54  size_t failed = 0;
55  for (const cryptonote::tx_verification_context &tvc: tvcs)
56  if (tvc.m_verification_failed)
57  ++failed;
58  if (m_invalid_tx_index == event_idx)
59  return failed > 0;
60  else
61  return failed == 0 && tx_added == tvcs.size();
62  }
63 
65  {
66  if (m_invalid_block_index == event_idx)
67  return bvc.m_verification_failed;
68  else
69  return !bvc.m_verification_failed;
70  }
71 
72  bool mark_invalid_block(cryptonote::core& /*c*/, size_t ev_index, const std::vector<test_event_entry>& /*events*/)
73  {
74  m_invalid_block_index = ev_index + 1;
75  return true;
76  }
77 
78  bool mark_invalid_tx(cryptonote::core& /*c*/, size_t ev_index, const std::vector<test_event_entry>& /*events*/)
79  {
80  m_invalid_tx_index = ev_index + 1;
81  return true;
82  }
83 
84  bool generate_with(std::vector<test_event_entry>& events, size_t mixin,
85  size_t n_txes, const uint64_t *amounts_paid, bool valid, const rct::RCTConfig *rct_config,
86  const std::function<bool(std::vector<cryptonote::tx_source_entry> &sources, std::vector<cryptonote::tx_destination_entry> &destinations, size_t)> &pre_tx,
87  const std::function<bool(cryptonote::transaction &tx, size_t)> &post_tx) const;
88 
89  bool check_bp(const cryptonote::transaction &tx, size_t tx_idx, const size_t *sizes, const char *context) const;
90 
91 private:
92  size_t m_invalid_tx_index;
93  size_t m_invalid_block_index;
94 };
95 
96 template<>
98  const std::pair<uint8_t, uint64_t> hard_forks[4] = {std::make_pair(1, 0), std::make_pair(2, 1), std::make_pair(10, 73), std::make_pair(0, 0)};
100  hard_forks, 0
101  };
102 };
103 
104 // valid
106 {
107  bool generate(std::vector<test_event_entry>& events) const;
108 };
109 template<> struct get_test_options<gen_bp_tx_valid_1>: public get_test_options<gen_bp_tx_validation_base> {};
110 
112 {
113  bool generate(std::vector<test_event_entry>& events) const;
114 };
115 template<> struct get_test_options<gen_bp_tx_invalid_1_1>: public get_test_options<gen_bp_tx_validation_base> {};
116 
118 {
119  bool generate(std::vector<test_event_entry>& events) const;
120 };
121 template<> struct get_test_options<gen_bp_tx_valid_2>: public get_test_options<gen_bp_tx_validation_base> {};
122 
124 {
125  bool generate(std::vector<test_event_entry>& events) const;
126 };
127 template<> struct get_test_options<gen_bp_tx_valid_3>: public get_test_options<gen_bp_tx_validation_base> {};
128 
130 {
131  bool generate(std::vector<test_event_entry>& events) const;
132 };
133 template<> struct get_test_options<gen_bp_tx_valid_16>: public get_test_options<gen_bp_tx_validation_base> {};
134 
136 {
137  bool generate(std::vector<test_event_entry>& events) const;
138 };
139 template<> struct get_test_options<gen_bp_tx_invalid_4_2_1>: public get_test_options<gen_bp_tx_validation_base> {};
140 
142 {
143  bool generate(std::vector<test_event_entry>& events) const;
144 };
145 template<> struct get_test_options<gen_bp_tx_invalid_16_16>: public get_test_options<gen_bp_tx_validation_base> {};
146 
148 {
149  bool generate(std::vector<test_event_entry>& events) const;
150 };
151 template<> struct get_test_options<gen_bp_txs_valid_2_and_2>: public get_test_options<gen_bp_tx_validation_base> {};
152 
154 {
155  bool generate(std::vector<test_event_entry>& events) const;
156 };
157 template<> struct get_test_options<gen_bp_txs_invalid_2_and_8_2_and_16_16_1>: public get_test_options<gen_bp_tx_validation_base> {};
158 
160 {
161  bool generate(std::vector<test_event_entry>& events) const;
162 };
163 template<> struct get_test_options<gen_bp_txs_valid_2_and_3_and_2_and_4>: public get_test_options<gen_bp_tx_validation_base> {};
164 
166 {
167  bool generate(std::vector<test_event_entry>& events) const;
168 };
169 template<> struct get_test_options<gen_bp_tx_invalid_not_enough_proofs>: public get_test_options<gen_bp_tx_validation_base> {};
170 
172 {
173  bool generate(std::vector<test_event_entry>& events) const;
174 };
175 template<> struct get_test_options<gen_bp_tx_invalid_empty_proofs>: public get_test_options<gen_bp_tx_validation_base> {};
176 
178 {
179  bool generate(std::vector<test_event_entry>& events) const;
180 };
181 template<> struct get_test_options<gen_bp_tx_invalid_too_many_proofs>: public get_test_options<gen_bp_tx_validation_base> {};
182 
184 {
185  bool generate(std::vector<test_event_entry>& events) const;
186 };
187 template<> struct get_test_options<gen_bp_tx_invalid_wrong_amount>: public get_test_options<gen_bp_tx_validation_base> {};
188 
190 {
191  bool generate(std::vector<test_event_entry>& events) const;
192 };
193 template<> struct get_test_options<gen_bp_tx_invalid_borromean_type>: public get_test_options<gen_bp_tx_validation_base> {};
bool generate(std::vector< test_event_entry > &events) const
bool generate(std::vector< test_event_entry > &events) const
bool generate(std::vector< test_event_entry > &events) const
bool generate_with(std::vector< test_event_entry > &events, size_t mixin, size_t n_txes, const uint64_t *amounts_paid, bool valid, const rct::RCTConfig *rct_config, const std::function< bool(std::vector< cryptonote::tx_source_entry > &sources, std::vector< cryptonote::tx_destination_entry > &destinations, size_t)> &pre_tx, const std::function< bool(cryptonote::transaction &tx, size_t)> &post_tx) const
bool generate(std::vector< test_event_entry > &events) const
bool mark_invalid_tx(cryptonote::core &, size_t ev_index, const std::vector< test_event_entry > &)
Definition: bulletproofs.h:78
bool generate(std::vector< test_event_entry > &events) const
bool generate(std::vector< test_event_entry > &events) const
bool generate(std::vector< test_event_entry > &events) const
bool generate(std::vector< test_event_entry > &events) const
bool generate(std::vector< test_event_entry > &events) const
const std::pair< uint8_t, uint64_t > hard_forks[2]
Definition: chaingen.h:698
bool generate(std::vector< test_event_entry > &events) const
bool generate(std::vector< test_event_entry > &events) const
handles core cryptonote functionality
unsigned __int64 uint64_t
Definition: stdint.h:136
std::unique_ptr< void, terminate > context
Unique ZMQ context handle, calls zmq_term on destruction.
Definition: zmq.h:98
#define REGISTER_CALLBACK_METHOD(CLASS, METHOD)
Definition: chaingen.h:830
bool check_block_verification_context(const cryptonote::block_verification_context &bvc, size_t event_idx, const cryptonote::block &)
Definition: bulletproofs.h:64
bool mark_invalid_block(cryptonote::core &, size_t ev_index, const std::vector< test_event_entry > &)
Definition: bulletproofs.h:72
bool check_tx_verification_context(const cryptonote::tx_verification_context &tvc, bool tx_added, size_t event_idx, const cryptonote::transaction &)
Definition: bulletproofs.h:44
bool check_tx_verification_context_array(const std::vector< cryptonote::tx_verification_context > &tvcs, size_t tx_added, size_t event_idx, const std::vector< cryptonote::transaction > &)
Definition: bulletproofs.h:52
const cryptonote::test_options test_options
Definition: chaingen.h:699
bool generate(std::vector< test_event_entry > &events) const
bool generate(std::vector< test_event_entry > &events) const
bool generate(std::vector< test_event_entry > &events) const
bool check_bp(const cryptonote::transaction &tx, size_t tx_idx, const size_t *sizes, const char *context) const
bool generate(std::vector< test_event_entry > &events) const