Bitcoin Core  27.99.0
P2P Digital Currency
core_read.cpp
Go to the documentation of this file.
1 // Copyright (c) 2009-2022 The Bitcoin Core developers
2 // Distributed under the MIT software license, see the accompanying
3 // file COPYING or http://www.opensource.org/licenses/mit-license.php.
4 
5 #include <core_io.h>
6 
7 #include <primitives/block.h>
9 #include <script/script.h>
10 #include <script/sign.h>
11 #include <serialize.h>
12 #include <streams.h>
13 #include <util/result.h>
14 #include <util/strencodings.h>
15 
16 #include <algorithm>
17 #include <string>
18 
19 using util::SplitString;
20 
21 namespace {
22 class OpCodeParser
23 {
24 private:
25  std::map<std::string, opcodetype> mapOpNames;
26 
27 public:
28  OpCodeParser()
29  {
30  for (unsigned int op = 0; op <= MAX_OPCODE; ++op) {
31  // Allow OP_RESERVED to get into mapOpNames
32  if (op < OP_NOP && op != OP_RESERVED) {
33  continue;
34  }
35 
36  std::string strName = GetOpName(static_cast<opcodetype>(op));
37  if (strName == "OP_UNKNOWN") {
38  continue;
39  }
40  mapOpNames[strName] = static_cast<opcodetype>(op);
41  // Convenience: OP_ADD and just ADD are both recognized:
42  if (strName.compare(0, 3, "OP_") == 0) { // strName starts with "OP_"
43  mapOpNames[strName.substr(3)] = static_cast<opcodetype>(op);
44  }
45  }
46  }
47  opcodetype Parse(const std::string& s) const
48  {
49  auto it = mapOpNames.find(s);
50  if (it == mapOpNames.end()) throw std::runtime_error("script parse error: unknown opcode");
51  return it->second;
52  }
53 };
54 
55 opcodetype ParseOpCode(const std::string& s)
56 {
57  static const OpCodeParser ocp;
58  return ocp.Parse(s);
59 }
60 
61 } // namespace
62 
63 CScript ParseScript(const std::string& s)
64 {
65  CScript result;
66 
67  std::vector<std::string> words = SplitString(s, " \t\n");
68 
69  for (const std::string& w : words) {
70  if (w.empty()) {
71  // Empty string, ignore. (SplitString doesn't combine multiple separators)
72  } else if (std::all_of(w.begin(), w.end(), ::IsDigit) ||
73  (w.front() == '-' && w.size() > 1 && std::all_of(w.begin() + 1, w.end(), ::IsDigit)))
74  {
75  // Number
76  const auto num{ToIntegral<int64_t>(w)};
77 
78  // limit the range of numbers ParseScript accepts in decimal
79  // since numbers outside -0xFFFFFFFF...0xFFFFFFFF are illegal in scripts
80  if (!num.has_value() || num > int64_t{0xffffffff} || num < -1 * int64_t{0xffffffff}) {
81  throw std::runtime_error("script parse error: decimal numeric value only allowed in the "
82  "range -0xFFFFFFFF...0xFFFFFFFF");
83  }
84 
85  result << num.value();
86  } else if (w.substr(0, 2) == "0x" && w.size() > 2 && IsHex(std::string(w.begin() + 2, w.end()))) {
87  // Raw hex data, inserted NOT pushed onto stack:
88  std::vector<unsigned char> raw = ParseHex(std::string(w.begin() + 2, w.end()));
89  result.insert(result.end(), raw.begin(), raw.end());
90  } else if (w.size() >= 2 && w.front() == '\'' && w.back() == '\'') {
91  // Single-quoted string, pushed as data. NOTE: this is poor-man's
92  // parsing, spaces/tabs/newlines in single-quoted strings won't work.
93  std::vector<unsigned char> value(w.begin() + 1, w.end() - 1);
94  result << value;
95  } else {
96  // opcode, e.g. OP_ADD or ADD:
97  result << ParseOpCode(w);
98  }
99  }
100 
101  return result;
102 }
103 
104 // Check that all of the input and output scripts of a transaction contains valid opcodes
106 {
107  // Check input scripts for non-coinbase txs
108  if (!CTransaction(tx).IsCoinBase()) {
109  for (unsigned int i = 0; i < tx.vin.size(); i++) {
110  if (!tx.vin[i].scriptSig.HasValidOps() || tx.vin[i].scriptSig.size() > MAX_SCRIPT_SIZE) {
111  return false;
112  }
113  }
114  }
115  // Check output scripts
116  for (unsigned int i = 0; i < tx.vout.size(); i++) {
117  if (!tx.vout[i].scriptPubKey.HasValidOps() || tx.vout[i].scriptPubKey.size() > MAX_SCRIPT_SIZE) {
118  return false;
119  }
120  }
121 
122  return true;
123 }
124 
125 static bool DecodeTx(CMutableTransaction& tx, const std::vector<unsigned char>& tx_data, bool try_no_witness, bool try_witness)
126 {
127  // General strategy:
128  // - Decode both with extended serialization (which interprets the 0x0001 tag as a marker for
129  // the presence of witnesses) and with legacy serialization (which interprets the tag as a
130  // 0-input 1-output incomplete transaction).
131  // - Restricted by try_no_witness (which disables legacy if false) and try_witness (which
132  // disables extended if false).
133  // - Ignore serializations that do not fully consume the hex string.
134  // - If neither succeeds, fail.
135  // - If only one succeeds, return that one.
136  // - If both decode attempts succeed:
137  // - If only one passes the CheckTxScriptsSanity check, return that one.
138  // - If neither or both pass CheckTxScriptsSanity, return the extended one.
139 
140  CMutableTransaction tx_extended, tx_legacy;
141  bool ok_extended = false, ok_legacy = false;
142 
143  // Try decoding with extended serialization support, and remember if the result successfully
144  // consumes the entire input.
145  if (try_witness) {
146  DataStream ssData(tx_data);
147  try {
148  ssData >> TX_WITH_WITNESS(tx_extended);
149  if (ssData.empty()) ok_extended = true;
150  } catch (const std::exception&) {
151  // Fall through.
152  }
153  }
154 
155  // Optimization: if extended decoding succeeded and the result passes CheckTxScriptsSanity,
156  // don't bother decoding the other way.
157  if (ok_extended && CheckTxScriptsSanity(tx_extended)) {
158  tx = std::move(tx_extended);
159  return true;
160  }
161 
162  // Try decoding with legacy serialization, and remember if the result successfully consumes the entire input.
163  if (try_no_witness) {
164  DataStream ssData(tx_data);
165  try {
166  ssData >> TX_NO_WITNESS(tx_legacy);
167  if (ssData.empty()) ok_legacy = true;
168  } catch (const std::exception&) {
169  // Fall through.
170  }
171  }
172 
173  // If legacy decoding succeeded and passes CheckTxScriptsSanity, that's our answer, as we know
174  // at this point that extended decoding either failed or doesn't pass the sanity check.
175  if (ok_legacy && CheckTxScriptsSanity(tx_legacy)) {
176  tx = std::move(tx_legacy);
177  return true;
178  }
179 
180  // If extended decoding succeeded, and neither decoding passes sanity, return the extended one.
181  if (ok_extended) {
182  tx = std::move(tx_extended);
183  return true;
184  }
185 
186  // If legacy decoding succeeded and extended didn't, return the legacy one.
187  if (ok_legacy) {
188  tx = std::move(tx_legacy);
189  return true;
190  }
191 
192  // If none succeeded, we failed.
193  return false;
194 }
195 
196 bool DecodeHexTx(CMutableTransaction& tx, const std::string& hex_tx, bool try_no_witness, bool try_witness)
197 {
198  if (!IsHex(hex_tx)) {
199  return false;
200  }
201 
202  std::vector<unsigned char> txData(ParseHex(hex_tx));
203  return DecodeTx(tx, txData, try_no_witness, try_witness);
204 }
205 
206 bool DecodeHexBlockHeader(CBlockHeader& header, const std::string& hex_header)
207 {
208  if (!IsHex(hex_header)) return false;
209 
210  const std::vector<unsigned char> header_data{ParseHex(hex_header)};
211  DataStream ser_header{header_data};
212  try {
213  ser_header >> header;
214  } catch (const std::exception&) {
215  return false;
216  }
217  return true;
218 }
219 
220 bool DecodeHexBlk(CBlock& block, const std::string& strHexBlk)
221 {
222  if (!IsHex(strHexBlk))
223  return false;
224 
225  std::vector<unsigned char> blockData(ParseHex(strHexBlk));
226  DataStream ssBlock(blockData);
227  try {
228  ssBlock >> TX_WITH_WITNESS(block);
229  }
230  catch (const std::exception&) {
231  return false;
232  }
233 
234  return true;
235 }
236 
237 util::Result<int> SighashFromStr(const std::string& sighash)
238 {
239  static const std::map<std::string, int> map_sighash_values = {
240  {std::string("DEFAULT"), int(SIGHASH_DEFAULT)},
241  {std::string("ALL"), int(SIGHASH_ALL)},
242  {std::string("ALL|ANYONECANPAY"), int(SIGHASH_ALL|SIGHASH_ANYONECANPAY)},
243  {std::string("NONE"), int(SIGHASH_NONE)},
244  {std::string("NONE|ANYONECANPAY"), int(SIGHASH_NONE|SIGHASH_ANYONECANPAY)},
245  {std::string("SINGLE"), int(SIGHASH_SINGLE)},
246  {std::string("SINGLE|ANYONECANPAY"), int(SIGHASH_SINGLE|SIGHASH_ANYONECANPAY)},
247  };
248  const auto& it = map_sighash_values.find(sighash);
249  if (it != map_sighash_values.end()) {
250  return it->second;
251  } else {
252  return util::Error{Untranslated("'" + sighash + "' is not a valid sighash parameter.")};
253  }
254 }
Nodes collect new transactions into a block, hash them into a hash tree, and scan through nonce value...
Definition: block.h:22
Definition: block.h:69
Serialized script, used inside transaction inputs and outputs.
Definition: script.h:414
The basic transaction that is broadcasted on the network and contained in blocks.
Definition: transaction.h:296
Double ended buffer combining vector and stream-like interfaces.
Definition: streams.h:147
bool empty() const
Definition: streams.h:182
iterator end()
Definition: prevector.h:306
iterator insert(iterator pos, const T &value)
Definition: prevector.h:361
static UniValue Parse(std::string_view raw)
Parse string to UniValue or throw runtime_error if string contains invalid JSON.
Definition: client.cpp:321
CScript ParseScript(const std::string &s)
Definition: core_read.cpp:63
util::Result< int > SighashFromStr(const std::string &sighash)
Definition: core_read.cpp:237
static bool CheckTxScriptsSanity(const CMutableTransaction &tx)
Definition: core_read.cpp:105
bool DecodeHexTx(CMutableTransaction &tx, const std::string &hex_tx, bool try_no_witness, bool try_witness)
Definition: core_read.cpp:196
bool DecodeHexBlockHeader(CBlockHeader &header, const std::string &hex_header)
Definition: core_read.cpp:206
static bool DecodeTx(CMutableTransaction &tx, const std::vector< unsigned char > &tx_data, bool try_no_witness, bool try_witness)
Definition: core_read.cpp:125
bool DecodeHexBlk(CBlock &block, const std::string &strHexBlk)
Definition: core_read.cpp:220
@ SIGHASH_ANYONECANPAY
Definition: interpreter.h:33
@ SIGHASH_DEFAULT
Taproot only; implied when sighash byte is missing, and equivalent to SIGHASH_ALL.
Definition: interpreter.h:35
@ SIGHASH_ALL
Definition: interpreter.h:30
@ SIGHASH_NONE
Definition: interpreter.h:31
@ SIGHASH_SINGLE
Definition: interpreter.h:32
std::vector< std::string > SplitString(std::string_view str, char sep)
Definition: string.h:59
static constexpr TransactionSerParams TX_NO_WITNESS
Definition: transaction.h:196
static constexpr TransactionSerParams TX_WITH_WITNESS
Definition: transaction.h:195
std::string GetOpName(opcodetype opcode)
Definition: script.cpp:18
static const unsigned int MAX_OPCODE
Definition: script.h:215
static const int MAX_SCRIPT_SIZE
Definition: script.h:39
opcodetype
Script opcodes.
Definition: script.h:73
@ OP_NOP
Definition: script.h:101
@ OP_RESERVED
Definition: script.h:81
constexpr bool IsDigit(char c)
Tests if the given character is a decimal digit.
Definition: strencodings.h:152
std::vector< Byte > ParseHex(std::string_view hex_str)
Like TryParseHex, but returns an empty vector on invalid input.
Definition: strencodings.h:66
A mutable version of CTransaction.
Definition: transaction.h:378
std::vector< CTxOut > vout
Definition: transaction.h:380
std::vector< CTxIn > vin
Definition: transaction.h:379
bilingual_str Untranslated(std::string original)
Mark a bilingual_str as untranslated.
Definition: translation.h:48
bool IsHex(std::string_view str)