Page MenuHomePhabricator
Differential D4940 Diff 15681 src/test/sigcheckcount_tests.cpp

Changeset View

Standalone View

View Options

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; \
deadalnixUnsubmitted
Not Done
Inline Actions

The ^ 0 isn't really necessary, but it's no big deal either way.

deadalnix: The ^ 0 isn't really necessary, but it's no big deal either way.
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; \
deadalnixUnsubmitted
Not Done
Inline Actions

likestamp

deadalnix: likestamp
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()