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
13namespace {
14
16class TxInputStream
17{
18public:
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; }
49private:
50 const int m_version;
51 const unsigned char* m_data;
52 size_t m_remaining;
53};
54
55inline int set_error(bitcoinconsensus_error* ret, bitcoinconsensus_error serror)
56{
57 if (ret)
58 *ret = serror;
59 return 0;
60}
61
62struct ECCryptoClosure
63{
64 ECCVerifyHandle handle;
65};
66
67ECCryptoClosure instance_of_eccryptoclosure;
68} // namespace
69
71static bool verify_flags(unsigned int flags)
72{
74}
75
76static 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
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
101int 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
110int 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}
int64_t CAmount
Amount in satoshis (Can be negative)
Definition: amount.h:12
int flags
Definition: bitcoin-tx.cpp:525
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
Serialized script, used inside transaction inputs and outputs.
Definition: script.h:406
The basic transaction that is broadcasted on the network and contained in blocks.
Definition: transaction.h:260
const std::vector< CTxIn > vin
Definition: transaction.h:270
Users of this module must hold an ECCVerifyHandle.
Definition: pubkey.h:316
#define T(expected, seed, data)
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 &s, char &a)
Definition: serialize.h:215
size_t GetSerializeSize(const T &t, int nVersion=0)
Definition: serialize.h:1080
static const int PROTOCOL_VERSION
network protocol versioning
Definition: version.h:12