interpreter.cpp File Reference

#include <script/interpreter.h>
#include <crypto/ripemd160.h>
#include <crypto/sha1.h>
#include <crypto/sha256.h>
#include <pubkey.h>
#include <script/script.h>
#include <uint256.h>

Include dependency graph for interpreter.cpp:

Go to the source code of this file.

Macros
#define	stacktop(i)   (stack.at(stack.size()+(i)))
	Script is a stack machine (like Forth) that evaluates a predicate returning a bool indicating valid or not. More...
#define	altstacktop(i)   (altstack.at(altstack.size()+(i)))

Typedefs
typedef std::vector< unsigned char >	valtype

Functions
bool	CastToBool (const valtype &vch)
static void	popstack (std::vector< valtype > &stack)
static bool	IsCompressedOrUncompressedPubKey (const valtype &vchPubKey)
static bool	IsCompressedPubKey (const valtype &vchPubKey)
static bool	IsValidSignatureEncoding (const std::vector< unsigned char > &sig)
	A canonical signature exists of: <30> <total len>=""> <02> <len r>=""> <R> <02> <len s>=""> <S> <hashtype> Where R and S are not negative (their first byte has its highest bit not set), and not excessively padded (do not start with a 0 byte, unless an otherwise negative number follows, in which case a single 0 byte is necessary and even required). More...
static bool	IsLowDERSignature (const valtype &vchSig, ScriptError *serror)
static bool	IsDefinedHashtypeSignature (const valtype &vchSig)
bool	CheckSignatureEncoding (const std::vector< unsigned char > &vchSig, unsigned int flags, ScriptError *serror)
static bool	CheckPubKeyEncoding (const valtype &vchPubKey, unsigned int flags, const SigVersion &sigversion, ScriptError *serror)
static bool	CheckMinimalPush (const valtype &data, opcodetype opcode)
int	FindAndDelete (CScript &script, const CScript &b)
static bool	EvalChecksigPreTapscript (const valtype &vchSig, const valtype &vchPubKey, CScript::const_iterator pbegincodehash, CScript::const_iterator pend, unsigned int flags, const BaseSignatureChecker &checker, SigVersion sigversion, ScriptError *serror, bool &fSuccess)
static bool	EvalChecksigTapscript (const valtype &sig, const valtype &pubkey, ScriptExecutionData &execdata, unsigned int flags, const BaseSignatureChecker &checker, SigVersion sigversion, ScriptError *serror, bool &success)
static bool	EvalChecksig (const valtype &sig, const valtype &pubkey, CScript::const_iterator pbegincodehash, CScript::const_iterator pend, ScriptExecutionData &execdata, unsigned int flags, const BaseSignatureChecker &checker, SigVersion sigversion, ScriptError *serror, bool &success)
	Helper for OP_CHECKSIG, OP_CHECKSIGVERIFY, and (in Tapscript) OP_CHECKSIGADD. More...
bool	EvalScript (std::vector< std::vector< unsigned char > > &stack, const CScript &script, unsigned int flags, const BaseSignatureChecker &checker, SigVersion sigversion, ScriptExecutionData &execdata, ScriptError *serror)
bool	EvalScript (std::vector< std::vector< unsigned char > > &stack, const CScript &script, unsigned int flags, const BaseSignatureChecker &checker, SigVersion sigversion, ScriptError *serror)
template<typename T >
bool	SignatureHashSchnorr (uint256 &hash_out, const ScriptExecutionData &execdata, const T &tx_to, uint32_t in_pos, uint8_t hash_type, SigVersion sigversion, const PrecomputedTransactionData &cache)
template<class T >
uint256	SignatureHash (const CScript &scriptCode, const T &txTo, unsigned int nIn, int nHashType, const CAmount &amount, SigVersion sigversion, const PrecomputedTransactionData *cache)
static bool	ExecuteWitnessScript (const Span< const valtype > &stack_span, const CScript &scriptPubKey, unsigned int flags, SigVersion sigversion, const BaseSignatureChecker &checker, ScriptExecutionData &execdata, ScriptError *serror)
static bool	VerifyTaprootCommitment (const std::vector< unsigned char > &control, const std::vector< unsigned char > &program, const CScript &script, uint256 &tapleaf_hash)
static bool	VerifyWitnessProgram (const CScriptWitness &witness, int witversion, const std::vector< unsigned char > &program, unsigned int flags, const BaseSignatureChecker &checker, ScriptError *serror, bool is_p2sh)
bool	VerifyScript (const CScript &scriptSig, const CScript &scriptPubKey, const CScriptWitness *witness, unsigned int flags, const BaseSignatureChecker &checker, ScriptError *serror)
static size_t	WitnessSigOps (int witversion, const std::vector< unsigned char > &witprogram, const CScriptWitness &witness)
size_t	CountWitnessSigOps (const CScript &scriptSig, const CScript &scriptPubKey, const CScriptWitness *witness, unsigned int flags)

Variables
static const CHashWriter	HASHER_TAPSIGHASH = TaggedHash("TapSighash")
static const CHashWriter	HASHER_TAPLEAF = TaggedHash("TapLeaf")
static const CHashWriter	HASHER_TAPBRANCH = TaggedHash("TapBranch")
static const CHashWriter	HASHER_TAPTWEAK = TaggedHash("TapTweak")

Macro Definition Documentation

#define altstacktop

(

i

)

(altstack.at(altstack.size()+(i)))

Definition at line 55 of file interpreter.cpp.

#define stacktop

(

i

)

(stack.at(stack.size()+(i)))

Script is a stack machine (like Forth) that evaluates a predicate returning a bool indicating valid or not.

There are no loops.

Definition at line 54 of file interpreter.cpp.

Typedef Documentation

typedef std::vector<unsigned char> valtype

Definition at line 15 of file interpreter.cpp.

Function Documentation

bool CastToBool

(

const valtype &

vch

)

Definition at line 35 of file interpreter.cpp.

Here is the caller graph for this function:

static bool CheckMinimalPush ( const valtype &  data, opcodetype  opcode  )

static

Definition at line 228 of file interpreter.cpp.

Here is the caller graph for this function:

static bool CheckPubKeyEncoding ( const valtype &  vchPubKey, unsigned int  flags, const SigVersion &  sigversion, ScriptError *  serror  )

static

Definition at line 217 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

bool CheckSignatureEncoding	(	const std::vector< unsigned char > &	vchSig,
		unsigned int	flags,
		ScriptError *	serror
	)

Definition at line 200 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

size_t CountWitnessSigOps	(	const CScript &	scriptSig,
		const CScript &	scriptPubKey,
		const CScriptWitness *	witness,
		unsigned int	flags
	)

Definition at line 2074 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

static bool EvalChecksig ( const valtype &  sig, const valtype &  pubkey, CScript::const_iterator  pbegincodehash, CScript::const_iterator  pend, ScriptExecutionData &  execdata, unsigned int  flags, const BaseSignatureChecker &  checker, SigVersion  sigversion, ScriptError *  serror, bool &  success  )

static

Helper for OP_CHECKSIG, OP_CHECKSIGVERIFY, and (in Tapscript) OP_CHECKSIGADD.

A return value of false means the script fails entirely. When true is returned, the success variable indicates whether the signature check itself succeeded.

Definition at line 416 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

static bool EvalChecksigPreTapscript ( const valtype &  vchSig, const valtype &  vchPubKey, CScript::const_iterator  pbegincodehash, CScript::const_iterator  pend, unsigned int  flags, const BaseSignatureChecker &  checker, SigVersion  sigversion, ScriptError *  serror, bool &  fSuccess  )

static

Definition at line 345 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

static bool EvalChecksigTapscript ( const valtype &  sig, const valtype &  pubkey, ScriptExecutionData &  execdata, unsigned int  flags, const BaseSignatureChecker &  checker, SigVersion  sigversion, ScriptError *  serror, bool &  success  )

static

Definition at line 371 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

bool EvalScript	(	std::vector< std::vector< unsigned char > > &	stack,
		const CScript &	script,
		unsigned int	flags,
		const BaseSignatureChecker &	checker,
		SigVersion	sigversion,
		ScriptExecutionData &	execdata,
		ScriptError *	serror
	)

Definition at line 431 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

bool EvalScript	(	std::vector< std::vector< unsigned char > > &	stack,
		const CScript &	script,
		unsigned int	flags,
		const BaseSignatureChecker &	checker,
		SigVersion	sigversion,
		ScriptError *	serror
	)

Definition at line 1261 of file interpreter.cpp.

Here is the call graph for this function:

static bool ExecuteWitnessScript ( const Span< const valtype > &  stack_span, const CScript &  scriptPubKey, unsigned int  flags, SigVersion  sigversion, const BaseSignatureChecker &  checker, ScriptExecutionData &  execdata, ScriptError *  serror  )

static

Definition at line 1794 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

int FindAndDelete	(	CScript &	script,
		const CScript &	b
	)

Definition at line 253 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

static bool IsCompressedOrUncompressedPubKey ( const valtype &  vchPubKey )

static

Definition at line 63 of file interpreter.cpp.

Here is the caller graph for this function:

static bool IsCompressedPubKey ( const valtype &  vchPubKey )

static

Definition at line 85 of file interpreter.cpp.

Here is the caller graph for this function:

static bool IsDefinedHashtypeSignature ( const valtype &  vchSig )

static

Definition at line 189 of file interpreter.cpp.

Here is the caller graph for this function:

static bool IsLowDERSignature ( const valtype &  vchSig, ScriptError *  serror  )

static

Definition at line 172 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

static bool IsValidSignatureEncoding ( const std::vector< unsigned char > &  sig )

static

A canonical signature exists of: <30> <total len>=""> <02> <len r>=""> <R> <02> <len s>=""> <S> <hashtype> Where R and S are not negative (their first byte has its highest bit not set), and not excessively padded (do not start with a 0 byte, unless an otherwise negative number follows, in which case a single 0 byte is necessary and even required).

See https://bitcointalk.org/index.php?topic=8392.msg127623#msg127623

This function is consensus-critical since BIP66.

Definition at line 107 of file interpreter.cpp.

Here is the caller graph for this function:

static void popstack ( std::vector< valtype > &  stack )

inlinestatic

Definition at line 56 of file interpreter.cpp.

Here is the caller graph for this function:

template<class T >

uint256 SignatureHash	(	const CScript &	scriptCode,
		const T &	txTo,
		unsigned int	nIn,
		int	nHashType,
		const CAmount &	amount,
		SigVersion	sigversion,
		const PrecomputedTransactionData *	cache
	)

Definition at line 1577 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

template<typename T >

bool SignatureHashSchnorr	(	uint256 &	hash_out,
		const ScriptExecutionData &	execdata,
		const T &	tx_to,
		uint32_t	in_pos,
		uint8_t	hash_type,
		SigVersion	sigversion,
		const PrecomputedTransactionData &	cache
	)

Definition at line 1492 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

bool VerifyScript	(	const CScript &	scriptSig,
		const CScript &	scriptPubKey,
		const CScriptWitness *	witness,
		unsigned int	flags,
		const BaseSignatureChecker &	checker,
		ScriptError *	serror
	)

Definition at line 1937 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

static bool VerifyTaprootCommitment ( const std::vector< unsigned char > &  control, const std::vector< unsigned char > &  program, const CScript &  script, uint256 &  tapleaf_hash  )

static

Definition at line 1834 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

static bool VerifyWitnessProgram ( const CScriptWitness &  witness, int  witversion, const std::vector< unsigned char > &  program, unsigned int  flags, const BaseSignatureChecker &  checker, ScriptError *  serror, bool  is_p2sh  )

static

< Actually executed script (last stack item in P2WSH; implied P2PKH script in P2WPKH; leaf script in P2TR)

Definition at line 1855 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

static size_t WitnessSigOps ( int  witversion, const std::vector< unsigned char > &  witprogram, const CScriptWitness &  witness  )

static

Definition at line 2058 of file interpreter.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

const CHashWriter HASHER_TAPBRANCH = TaggedHash("TapBranch")

static

Definition at line 1488 of file interpreter.cpp.

const CHashWriter HASHER_TAPLEAF = TaggedHash("TapLeaf")

static

Definition at line 1487 of file interpreter.cpp.

const CHashWriter HASHER_TAPSIGHASH = TaggedHash("TapSighash")

static

Definition at line 1486 of file interpreter.cpp.

const CHashWriter HASHER_TAPTWEAK = TaggedHash("TapTweak")

static

Definition at line 1489 of file interpreter.cpp.