Bitcoin Core  22.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-2018 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(char* pch, size_t nSize)
26  {
27  if (nSize > m_remaining)
28  throw std::ios_base::failure(std::string(__func__) + ": end of data");
29 
30  if (pch == nullptr)
31  throw std::ios_base::failure(std::string(__func__) + ": bad destination buffer");
32 
33  if (m_data == nullptr)
34  throw std::ios_base::failure(std::string(__func__) + ": bad source buffer");
35 
36  memcpy(pch, m_data, nSize);
37  m_remaining -= nSize;
38  m_data += nSize;
39  }
40 
41  template<typename T>
42  TxInputStream& operator>>(T&& obj)
43  {
44  ::Unserialize(*this, obj);
45  return *this;
46  }
47 
48  int GetVersion() const { return m_version; }
49 private:
50  const int m_version;
51  const unsigned char* m_data;
52  size_t m_remaining;
53 };
54 
55 inline int set_error(bitcoinconsensus_error* ret, bitcoinconsensus_error serror)
56 {
57  if (ret)
58  *ret = serror;
59  return 0;
60 }
61 
62 struct ECCryptoClosure
63 {
64  ECCVerifyHandle handle;
65 };
66 
67 ECCryptoClosure instance_of_eccryptoclosure;
68 } // namespace
69 
71 static bool verify_flags(unsigned int flags)
72 {
74 }
75 
76 static int verify_script(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen, CAmount amount,
77  const unsigned char *txTo , unsigned int txToLen,
78  unsigned int nIn, unsigned int flags, bitcoinconsensus_error* err)
79 {
80  if (!verify_flags(flags)) {
81  return set_error(err, bitcoinconsensus_ERR_INVALID_FLAGS);
82  }
83  try {
84  TxInputStream stream(PROTOCOL_VERSION, txTo, txToLen);
85  CTransaction tx(deserialize, stream);
86  if (nIn >= tx.vin.size())
87  return set_error(err, bitcoinconsensus_ERR_TX_INDEX);
88  if (GetSerializeSize(tx, PROTOCOL_VERSION) != txToLen)
89  return set_error(err, bitcoinconsensus_ERR_TX_SIZE_MISMATCH);
90 
91  // Regardless of the verification result, the tx did not error.
92  set_error(err, bitcoinconsensus_ERR_OK);
93 
94  PrecomputedTransactionData txdata(tx);
95  return VerifyScript(tx.vin[nIn].scriptSig, CScript(scriptPubKey, scriptPubKey + scriptPubKeyLen), &tx.vin[nIn].scriptWitness, flags, TransactionSignatureChecker(&tx, nIn, amount, txdata, MissingDataBehavior::FAIL), nullptr);
96  } catch (const std::exception&) {
97  return set_error(err, bitcoinconsensus_ERR_TX_DESERIALIZE); // Error deserializing
98  }
99 }
100 
101 int bitcoinconsensus_verify_script_with_amount(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen, int64_t amount,
102  const unsigned char *txTo , unsigned int txToLen,
103  unsigned int nIn, unsigned int flags, bitcoinconsensus_error* err)
104 {
105  CAmount am(amount);
106  return ::verify_script(scriptPubKey, scriptPubKeyLen, am, txTo, txToLen, nIn, flags, err);
107 }
108 
109 
110 int bitcoinconsensus_verify_script(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen,
111  const unsigned char *txTo , unsigned int txToLen,
112  unsigned int nIn, unsigned int flags, bitcoinconsensus_error* err)
113 {
115  return set_error(err, bitcoinconsensus_ERR_AMOUNT_REQUIRED);
116  }
117 
118  CAmount am(0);
119  return ::verify_script(scriptPubKey, scriptPubKeyLen, am, txTo, txToLen, nIn, flags, err);
120 }
121 
123 {
124  // Just use the API version for now
126 }
GetSerializeSize
size_t GetSerializeSize(const T &t, int nVersion=0)
Definition: serialize.h:1080
CTransaction::vin
const std::vector< CTxIn > vin
Definition: transaction.h:270
flags
int flags
Definition: bitcoin-tx.cpp:513
bitcoinconsensus_ERR_TX_INDEX
@ bitcoinconsensus_ERR_TX_INDEX
Definition: bitcoinconsensus.h:39
transaction.h
verify_flags
static bool verify_flags(unsigned int flags)
Check that all specified flags are part of the libconsensus interface.
Definition: bitcoinconsensus.cpp:71
BITCOINCONSENSUS_API_VER
#define BITCOINCONSENSUS_API_VER
Definition: bitcoinconsensus.h:34
GenericTransactionSignatureChecker
Definition: interpreter.h:277
interpreter.h
bitcoinconsensus_ERR_OK
@ bitcoinconsensus_ERR_OK
Definition: bitcoinconsensus.h:38
bitcoinconsensus_ERR_INVALID_FLAGS
@ bitcoinconsensus_ERR_INVALID_FLAGS
Definition: bitcoinconsensus.h:43
pubkey.h
verify_script
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)
Definition: bitcoinconsensus.cpp:76
MissingDataBehavior::FAIL
@ FAIL
Just act as if the signature was invalid.
version.h
VerifyScript
bool VerifyScript(const CScript &scriptSig, const CScript &scriptPubKey, const CScriptWitness *witness, unsigned int flags, const BaseSignatureChecker &checker, ScriptError *serror)
Definition: interpreter.cpp:1969
CTransaction
The basic transaction that is broadcasted on the network and contained in blocks.
Definition: transaction.h:259
bitcoinconsensus.h
Unserialize
void Unserialize(Stream &s, char &a)
Definition: serialize.h:215
bitcoinconsensus_ERR_AMOUNT_REQUIRED
@ bitcoinconsensus_ERR_AMOUNT_REQUIRED
Definition: bitcoinconsensus.h:42
bitcoinconsensus_version
unsigned int bitcoinconsensus_version()
Definition: bitcoinconsensus.cpp:122
CAmount
int64_t CAmount
Amount in satoshis (Can be negative)
Definition: amount.h:12
bitcoinconsensus_verify_script
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...
Definition: bitcoinconsensus.cpp:110
bitcoinconsensus_SCRIPT_FLAGS_VERIFY_WITNESS
@ bitcoinconsensus_SCRIPT_FLAGS_VERIFY_WITNESS
Definition: bitcoinconsensus.h:55
PrecomputedTransactionData
Definition: interpreter.h:150
CScript
Serialized script, used inside transaction inputs and outputs.
Definition: script.h:405
bitcoinconsensus_ERR_TX_DESERIALIZE
@ bitcoinconsensus_ERR_TX_DESERIALIZE
Definition: bitcoinconsensus.h:41
bitcoinconsensus_ERR_TX_SIZE_MISMATCH
@ bitcoinconsensus_ERR_TX_SIZE_MISMATCH
Definition: bitcoinconsensus.h:40
ECCVerifyHandle
Users of this module must hold an ECCVerifyHandle.
Definition: pubkey.h:315
bitcoinconsensus_SCRIPT_FLAGS_VERIFY_ALL
@ bitcoinconsensus_SCRIPT_FLAGS_VERIFY_ALL
Definition: bitcoinconsensus.h:56
bitcoinconsensus_error
enum bitcoinconsensus_error_t bitcoinconsensus_error
T
#define T(expected, seed, data)
bitcoinconsensus_verify_script_with_amount
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)
Definition: bitcoinconsensus.cpp:101
deserialize
constexpr deserialize_type deserialize
Definition: serialize.h:48
PROTOCOL_VERSION
static const int PROTOCOL_VERSION
network protocol versioning
Definition: version.h:12