Bitcoin Core  24.99.0
P2P Digital Currency
bitcoinconsensus.cpp
Go to the documentation of this file.
1 // Copyright (c) 2009-2010 Satoshi Nakamoto
2 // Copyright (c) 2009-2022 The Bitcoin Core developers
3 // Distributed under the MIT software license, see the accompanying
4 // file COPYING or http://www.opensource.org/licenses/mit-license.php.
5 
7 
9 #include <pubkey.h>
10 #include <script/interpreter.h>
11 #include <version.h>
12 
13 namespace {
14 
16 class TxInputStream
17 {
18 public:
19  TxInputStream(int nVersionIn, const unsigned char *txTo, size_t txToLen) :
20  m_version(nVersionIn),
21  m_data(txTo),
22  m_remaining(txToLen)
23  {}
24 
25  void read(Span<std::byte> dst)
26  {
27  if (dst.size() > m_remaining) {
28  throw std::ios_base::failure(std::string(__func__) + ": end of data");
29  }
30 
31  if (dst.data() == nullptr) {
32  throw std::ios_base::failure(std::string(__func__) + ": bad destination buffer");
33  }
34 
35  if (m_data == nullptr) {
36  throw std::ios_base::failure(std::string(__func__) + ": bad source buffer");
37  }
38 
39  memcpy(dst.data(), m_data, dst.size());
40  m_remaining -= dst.size();
41  m_data += dst.size();
42  }
43 
44  template<typename T>
45  TxInputStream& operator>>(T&& obj)
46  {
47  ::Unserialize(*this, obj);
48  return *this;
49  }
50 
51  int GetVersion() const { return m_version; }
52 private:
53  const int m_version;
54  const unsigned char* m_data;
55  size_t m_remaining;
56 };
57 
58 inline int set_error(bitcoinconsensus_error* ret, bitcoinconsensus_error serror)
59 {
60  if (ret)
61  *ret = serror;
62  return 0;
63 }
64 
65 } // namespace
66 
68 static bool verify_flags(unsigned int flags)
69 {
71 }
72 
73 static int verify_script(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen, CAmount amount,
74  const unsigned char *txTo , unsigned int txToLen,
75  unsigned int nIn, unsigned int flags, bitcoinconsensus_error* err)
76 {
77  if (!verify_flags(flags)) {
78  return set_error(err, bitcoinconsensus_ERR_INVALID_FLAGS);
79  }
80  try {
81  TxInputStream stream(PROTOCOL_VERSION, txTo, txToLen);
82  CTransaction tx(deserialize, stream);
83  if (nIn >= tx.vin.size())
84  return set_error(err, bitcoinconsensus_ERR_TX_INDEX);
85  if (GetSerializeSize(tx, PROTOCOL_VERSION) != txToLen)
86  return set_error(err, bitcoinconsensus_ERR_TX_SIZE_MISMATCH);
87 
88  // Regardless of the verification result, the tx did not error.
89  set_error(err, bitcoinconsensus_ERR_OK);
90 
91  PrecomputedTransactionData txdata(tx);
92  return VerifyScript(tx.vin[nIn].scriptSig, CScript(scriptPubKey, scriptPubKey + scriptPubKeyLen), &tx.vin[nIn].scriptWitness, flags, TransactionSignatureChecker(&tx, nIn, amount, txdata, MissingDataBehavior::FAIL), nullptr);
93  } catch (const std::exception&) {
94  return set_error(err, bitcoinconsensus_ERR_TX_DESERIALIZE); // Error deserializing
95  }
96 }
97 
98 int bitcoinconsensus_verify_script_with_amount(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen, int64_t amount,
99  const unsigned char *txTo , unsigned int txToLen,
100  unsigned int nIn, unsigned int flags, bitcoinconsensus_error* err)
101 {
102  CAmount am(amount);
103  return ::verify_script(scriptPubKey, scriptPubKeyLen, am, txTo, txToLen, nIn, flags, err);
104 }
105 
106 
107 int bitcoinconsensus_verify_script(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen,
108  const unsigned char *txTo , unsigned int txToLen,
109  unsigned int nIn, unsigned int flags, bitcoinconsensus_error* err)
110 {
112  return set_error(err, bitcoinconsensus_ERR_AMOUNT_REQUIRED);
113  }
114 
115  CAmount am(0);
116  return ::verify_script(scriptPubKey, scriptPubKeyLen, am, txTo, txToLen, nIn, flags, err);
117 }
118 
120 {
121  // Just use the API version for now
123 }
int64_t CAmount
Amount in satoshis (Can be negative)
Definition: amount.h:12
int ret
int flags
Definition: bitcoin-tx.cpp:526
static bool verify_flags(unsigned int flags)
Check that all specified flags are part of the libconsensus interface.
unsigned int bitcoinconsensus_version()
int bitcoinconsensus_verify_script(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen, const unsigned char *txTo, unsigned int txToLen, unsigned int nIn, unsigned int flags, bitcoinconsensus_error *err)
Returns 1 if the input nIn of the serialized transaction pointed to by txTo correctly spends the scri...
static int verify_script(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen, CAmount amount, const unsigned char *txTo, unsigned int txToLen, unsigned int nIn, unsigned int flags, bitcoinconsensus_error *err)
int bitcoinconsensus_verify_script_with_amount(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen, int64_t amount, const unsigned char *txTo, unsigned int txToLen, unsigned int nIn, unsigned int flags, bitcoinconsensus_error *err)
enum bitcoinconsensus_error_t bitcoinconsensus_error
@ bitcoinconsensus_ERR_OK
@ bitcoinconsensus_ERR_TX_DESERIALIZE
@ bitcoinconsensus_ERR_AMOUNT_REQUIRED
@ bitcoinconsensus_ERR_TX_INDEX
@ bitcoinconsensus_ERR_INVALID_FLAGS
@ bitcoinconsensus_ERR_TX_SIZE_MISMATCH
@ bitcoinconsensus_SCRIPT_FLAGS_VERIFY_ALL
@ bitcoinconsensus_SCRIPT_FLAGS_VERIFY_WITNESS
#define BITCOINCONSENSUS_API_VER
QDataStream & operator>>(QDataStream &in, BitcoinUnit &unit)
Serialized script, used inside transaction inputs and outputs.
Definition: script.h:411
The basic transaction that is broadcasted on the network and contained in blocks.
Definition: transaction.h:295
const std::vector< CTxIn > vin
Definition: transaction.h:305
A Span is an object that can refer to a contiguous sequence of objects.
Definition: span.h:97
constexpr std::size_t size() const noexcept
Definition: span.h:186
constexpr C * data() const noexcept
Definition: span.h:173
bool VerifyScript(const CScript &scriptSig, const CScript &scriptPubKey, const CScriptWitness *witness, unsigned int flags, const BaseSignatureChecker &checker, ScriptError *serror)
@ FAIL
Just act as if the signature was invalid.
constexpr deserialize_type deserialize
Definition: serialize.h:48
void Unserialize(Stream &, char)=delete
size_t GetSerializeSize(const T &t, int nVersion=0)
Definition: serialize.h:1109
static const int PROTOCOL_VERSION
network protocol versioning
Definition: version.h:12