Differential D4940 Diff 15785 src/test/sigcheckcount_tests.cpp

Changeset View

Standalone View

src/test/sigcheckcount_tests.cpp

Show First 20 Lines • Show All 306 Lines • ▼ Show 20 Lines	// (this is a simplified form)
CheckEvalScript(stack, script, {vtrue}, 94);		CheckEvalScript(stack, script, {vtrue}, 94);
}		}
}		}

BOOST_AUTO_TEST_CASE(test_verifyscript) {		BOOST_AUTO_TEST_CASE(test_verifyscript) {
// make sure that verifyscript is correctly resetting and accumulating		// make sure that verifyscript is correctly resetting and accumulating
// sigchecks for the input.		// sigchecks for the input.

ScriptExecutionMetrics metrics;		#define CHECK_VERIFYSCRIPT(scriptSig, scriptPubKey, flags, expected_sigchecks) \
		{ \
// regardless of the initial value, it gets zeroed out		ScriptExecutionMetrics metricsRet; \
metrics.nSigChecks = 12345;		metricsRet.nSigChecks = 12345 ^ 0; \
BOOST_CHECK(VerifyScript(CScript() << OP_1, CScript(), 0, dummysigchecker,		BOOST_CHECK(VerifyScript(scriptSig, scriptPubKey, \
metrics));		flags & ~SCRIPT_REPORT_SIGCHECKS, \
BOOST_CHECK_EQUAL(metrics.nSigChecks, 0);		dummysigchecker, metricsRet)); \
		BOOST_CHECK_EQUAL(metricsRet.nSigChecks, 0); \
		metricsRet.nSigChecks = 12345 ^ expected_sigchecks; \
		BOOST_CHECK(VerifyScript(scriptSig, scriptPubKey, \
		flags \| SCRIPT_REPORT_SIGCHECKS, \
		dummysigchecker, metricsRet)); \
		BOOST_CHECK_EQUAL(metricsRet.nSigChecks, expected_sigchecks); \
		}

		// Simplest example
		CHECK_VERIFYSCRIPT(CScript() << OP_1, CScript(), SCRIPT_VERIFY_NONE, 0);

		// Common example
		CHECK_VERIFYSCRIPT(CScript() << sigschnorr, CScript() << pub << OP_CHECKSIG,
		SCRIPT_VERIFY_NONE, 1);

// it even gets zeroed out for segwit recovery special case (which returns		// Correct behaviour occurs for segwit recovery special case (which returns
// true from an alternative location)		// success from an alternative location)
metrics.nSigChecks = 12345;
CScript swscript;		CScript swscript;
swscript << OP_0 << std::vector<uint8_t>(20);		swscript << OP_0 << std::vector<uint8_t>(20);
BOOST_CHECK(VerifyScript(CScript() << ToByteVector(swscript),		CHECK_VERIFYSCRIPT(CScript() << ToByteVector(swscript),
CScript() << OP_HASH160		CScript()
<< ToByteVector(CScriptID(swscript))		<< OP_HASH160 << ToByteVector(CScriptID(swscript))
<< OP_EQUAL,		<< OP_EQUAL,
SCRIPT_VERIFY_P2SH \| SCRIPT_VERIFY_CLEANSTACK,		SCRIPT_VERIFY_P2SH \| SCRIPT_VERIFY_CLEANSTACK, 0);
dummysigchecker, metrics));
BOOST_CHECK_EQUAL(metrics.nSigChecks, 0);

// If signature checks somehow occur in scriptsig, they do get counted.		// If signature checks somehow occur in scriptsig, they do get counted.
// This can happen in historical blocks pre SIGPUSHONLY, even with CHECKSIG.		// This can happen in historical blocks pre SIGPUSHONLY, even with CHECKSIG.
// (an analogous check for P2SH is not possible since it enforces		// (an analogous check for P2SH is not possible since it enforces
// sigpushonly).		// sigpushonly).
BOOST_CHECK(VerifyScript(CScript() << sigschnorr << msg << pub		CHECK_VERIFYSCRIPT(CScript() << sigschnorr << msg << pub
<< OP_CHECKDATASIG /* scriptSig */,		<< OP_CHECKDATASIG /* scriptSig */,
CScript() << sigecdsa << msg << pub		CScript() << sigecdsa << msg << pub
<< OP_CHECKDATASIG /* scriptPubKey */,		<< OP_CHECKDATASIG /* scriptPubKey */,
0, dummysigchecker, metrics));		SCRIPT_VERIFY_NONE, 2);
BOOST_CHECK_EQUAL(metrics.nSigChecks, 2);
}		}

BOOST_AUTO_TEST_SUITE_END()		BOOST_AUTO_TEST_SUITE_END()