GlcoinCore/elements
1
0
Fork 0
mirror of https://github.com/ElementsProject/elements.git synced 2026-08-14 12:43:40 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1
elements/src/script/script_error.h

136 lines
4.1 KiB
C
Raw Normal View History

script: create sane error return codes for script validation and remove logging Attempt to codify the possible error statuses associated with script validation. script/types.h has been created with the expectation that it will be part of the public lib interface. The other flag enums will be moved here in a future commit. Logging has also been removed in order to drop the dependency on core.h. It can be re-added to bitcoind as-needed. This makes script verification finally free of application state and boost!
2014-10-31 23:29:12 -04:00
// Copyright (c) 2009-2010 Satoshi Nakamoto
scripted-diff: Bump copyright headers -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-
2020-12-31 09:48:25 +01:00
// Copyright (c) 2009-2020 The Bitcoin Core developers
script: create sane error return codes for script validation and remove logging Attempt to codify the possible error statuses associated with script validation. script/types.h has been created with the expectation that it will be part of the public lib interface. The other flag enums will be moved here in a future commit. Logging has also been removed in order to drop the dependency on core.h. It can be re-added to bitcoind as-needed. This makes script verification finally free of application state and boost!
2014-10-31 23:29:12 -04:00
// Distributed under the MIT software license, see the accompanying
// file COPYING or http://www.opensource.org/licenses/mit-license.php.
Normalize header guard of script_error.h
2014-11-20 20:06:08 +01:00
#ifndef BITCOIN_SCRIPT_SCRIPT_ERROR_H
#define BITCOIN_SCRIPT_SCRIPT_ERROR_H
script: create sane error return codes for script validation and remove logging Attempt to codify the possible error statuses associated with script validation. script/types.h has been created with the expectation that it will be part of the public lib interface. The other flag enums will be moved here in a future commit. Logging has also been removed in order to drop the dependency on core.h. It can be re-added to bitcoind as-needed. This makes script verification finally free of application state and boost!
2014-10-31 23:29:12 -04:00
refactor: Replace const char* to std::string Some functions should be returning std::string instead of const char*. This commit changes that.
2020-05-18 17:14:10 +09:00
#include <string>
script: create sane error return codes for script validation and remove logging Attempt to codify the possible error statuses associated with script validation. script/types.h has been created with the expectation that it will be part of the public lib interface. The other flag enums will be moved here in a future commit. Logging has also been removed in order to drop the dependency on core.h. It can be re-added to bitcoind as-needed. This makes script verification finally free of application state and boost!
2014-10-31 23:29:12 -04:00
typedef enum ScriptError_t
{
SCRIPT_ERR_OK = 0,
SCRIPT_ERR_UNKNOWN_ERROR,
SCRIPT_ERR_EVAL_FALSE,
SCRIPT_ERR_OP_RETURN,
/* Max sizes */
SCRIPT_ERR_SCRIPT_SIZE,
SCRIPT_ERR_PUSH_SIZE,
SCRIPT_ERR_OP_COUNT,
SCRIPT_ERR_STACK_SIZE,
SCRIPT_ERR_SIG_COUNT,
SCRIPT_ERR_PUBKEY_COUNT,
/* Failed verify operations */
SCRIPT_ERR_VERIFY,
SCRIPT_ERR_EQUALVERIFY,
SCRIPT_ERR_CHECKMULTISIGVERIFY,
SCRIPT_ERR_CHECKSIGVERIFY,
SCRIPT_ERR_NUMEQUALVERIFY,
/* Logical/Format/Canonical errors */
SCRIPT_ERR_BAD_OPCODE,
SCRIPT_ERR_DISABLED_OPCODE,
SCRIPT_ERR_INVALID_STACK_OPERATION,
SCRIPT_ERR_INVALID_ALTSTACK_OPERATION,
SCRIPT_ERR_UNBALANCED_CONDITIONAL,
BIP112: Implement CHECKSEQUENCEVERIFY - Replace NOP3 with CHECKSEQUENCEVERIFY (BIP112) <nSequence> CHECKSEQUENCEVERIFY -> <nSequence> - Fails if txin.nSequence < nSequence, allowing funds of a txout to be locked for a number of blocks or a duration of time after its inclusion in a block. - Pull most of CheckLockTime() out into VerifyLockTime(), a local function that will be reused for CheckSequence() - Add bitwise AND operator to CScriptNum - Enable CHECKSEQUENCEVERIFY as a standard script verify flag - Transactions that fail CSV verification will be rejected from the mempool, making it easy to test the feature. However blocks containing "invalid" CSV-using transactions will still be accepted; this is *not* the soft-fork required to actually enable CSV for production use.
2015-09-25 16:18:51 -07:00
/* CHECKLOCKTIMEVERIFY and CHECKSEQUENCEVERIFY */
Replace NOP2 with CHECKLOCKTIMEVERIFY (BIP65) <nLockTime> CHECKLOCKTIMEVERIFY -> <nLockTime> Fails if tx.nLockTime < nLockTime, allowing the funds in a txout to be locked until some block height or block time in the future is reached. Only the logic and unittests are implemented; this commit does not have any actual soft-fork logic in it. Thanks to Pieter Wuille for rebase. Credit goes to Gregory Maxwell for the suggestion of comparing the argument against the transaction nLockTime rather than the current time/blockheight directly.
2014-09-29 03:44:25 -04:00
SCRIPT_ERR_NEGATIVE_LOCKTIME,
SCRIPT_ERR_UNSATISFIED_LOCKTIME,
Make non-minimal OP_IF/NOTIF argument non-standard for P2WSH
2016-09-23 13:06:45 +08:00
/* Malleability */
script: create sane error return codes for script validation and remove logging Attempt to codify the possible error statuses associated with script validation. script/types.h has been created with the expectation that it will be part of the public lib interface. The other flag enums will be moved here in a future commit. Logging has also been removed in order to drop the dependency on core.h. It can be re-added to bitcoind as-needed. This makes script verification finally free of application state and boost!
2014-10-31 23:29:12 -04:00
SCRIPT_ERR_SIG_HASHTYPE,
SCRIPT_ERR_SIG_DER,
SCRIPT_ERR_MINIMALDATA,
SCRIPT_ERR_SIG_PUSHONLY,
SCRIPT_ERR_SIG_HIGH_S,
SCRIPT_ERR_SIG_NULLDUMMY,
Make STRICTENC invalid pubkeys fail the script rather than the opcode. This turns STRICTENC turn into a softforking-safe change (even though it is not intended as a consensus rule), and as a result guarantee that using it for mempool validation only results in consensus-valid transactions in the mempool.
2014-11-08 09:32:29 -08:00
SCRIPT_ERR_PUBKEYTYPE,
Add SCRIPT_VERIFY_CLEANSTACK (BIP62 rule 6) Based on an earlier patch by Peter Todd, though the rules here are different (P2SH scripts should not have a CLEANSTACK check before the P2SH evaluation).
2014-10-12 18:39:47 -07:00
SCRIPT_ERR_CLEANSTACK,
Make non-minimal OP_IF/NOTIF argument non-standard for P2WSH
2016-09-23 13:06:45 +08:00
SCRIPT_ERR_MINIMALIF,
Add policy: null signature for failed CHECK(MULTI)SIG
2016-09-22 15:06:54 +08:00
SCRIPT_ERR_SIG_NULLFAIL,
script: create sane error return codes for script validation and remove logging Attempt to codify the possible error statuses associated with script validation. script/types.h has been created with the expectation that it will be part of the public lib interface. The other flag enums will be moved here in a future commit. Logging has also been removed in order to drop the dependency on core.h. It can be re-added to bitcoind as-needed. This makes script verification finally free of application state and boost!
2014-10-31 23:29:12 -04:00
Discourage NOPs reserved for soft-fork upgrades NOP1 to NOP10 are reserved for future soft-fork upgrades. In the event of an upgrade such NOPs have *VERIFY behavior, meaning that if their arguments are not correct the script fails. Discouraging these NOPs by rejecting transactions containing them from the mempool ensures that we'll never accept transactions, nor mine blocks, with scripts that are now invalid according to the majority of hashing power even if we're not yet upgraded. Previously this wasn't an issue as the IsStandard() rules didn't allow upgradable NOPs anyway, but 7f3b4e95 relaxed the IsStandard() rules for P2SH redemptions allowing any redeemScript to be spent. We *do* allow upgradable NOPs in scripts so long as they are not executed. This is harmless as there is no opportunity for the script to be invalid post-upgrade.
2014-09-28 21:17:36 -04:00
/* softfork safeness */
SCRIPT_ERR_DISCOURAGE_UPGRADABLE_NOPS,
BIP141: Witness program
2015-11-08 01:16:45 +01:00
SCRIPT_ERR_DISCOURAGE_UPGRADABLE_WITNESS_PROGRAM,
Implement Taproot validation (BIP 341) This includes key path spending and script path spending, but not the Tapscript execution implementation (leaf 0xc0 remains unemcumbered in this commit). Includes constants for various aspects of the consensus rules suggested by Jeremy Rubin.
2020-09-11 14:33:45 -07:00
SCRIPT_ERR_DISCOURAGE_UPGRADABLE_TAPROOT_VERSION,
Implement Tapscript script validation rules (BIP 342) This adds a new `SigVersion::TAPSCRIPT`, makes the necessary interpreter changes to make it implement BIP342, and uses them for leaf version 0xc0 in Taproot script path spends.
2020-09-11 14:34:02 -07:00
SCRIPT_ERR_DISCOURAGE_OP_SUCCESS,
SCRIPT_ERR_DISCOURAGE_UPGRADABLE_PUBKEYTYPE,
BIP141: Witness program
2015-11-08 01:16:45 +01:00
/* segregated witness */
SCRIPT_ERR_WITNESS_PROGRAM_WRONG_LENGTH,
SCRIPT_ERR_WITNESS_PROGRAM_WITNESS_EMPTY,
SCRIPT_ERR_WITNESS_PROGRAM_MISMATCH,
SCRIPT_ERR_WITNESS_MALLEATED,
SCRIPT_ERR_WITNESS_MALLEATED_P2SH,
SCRIPT_ERR_WITNESS_UNEXPECTED,
Require compressed keys in segwit as policy and disable signing with uncompressed keys for segwit scripts
2016-10-02 01:19:33 +08:00
SCRIPT_ERR_WITNESS_PUBKEYTYPE,
Discourage NOPs reserved for soft-fork upgrades NOP1 to NOP10 are reserved for future soft-fork upgrades. In the event of an upgrade such NOPs have *VERIFY behavior, meaning that if their arguments are not correct the script fails. Discouraging these NOPs by rejecting transactions containing them from the mempool ensures that we'll never accept transactions, nor mine blocks, with scripts that are now invalid according to the majority of hashing power even if we're not yet upgraded. Previously this wasn't an issue as the IsStandard() rules didn't allow upgradable NOPs anyway, but 7f3b4e95 relaxed the IsStandard() rules for P2SH redemptions allowing any redeemScript to be spent. We *do* allow upgradable NOPs in scripts so long as they are not executed. This is harmless as there is no opportunity for the script to be invalid post-upgrade.
2014-09-28 21:17:36 -04:00
Support for Schnorr signatures and integration in SignatureCheckers (BIP 340) This enables the schnorrsig module in libsecp256k1, adds the relevant types and functions to src/pubkey, as well as in higher-level `SignatureChecker` classes. The (verification side of the) BIP340 test vectors is also added.
2020-09-11 14:33:30 -07:00
/* Taproot */
SCRIPT_ERR_SCHNORR_SIG_SIZE,
SCRIPT_ERR_SCHNORR_SIG_HASHTYPE,
SCRIPT_ERR_SCHNORR_SIG,
Implement Taproot validation (BIP 341) This includes key path spending and script path spending, but not the Tapscript execution implementation (leaf 0xc0 remains unemcumbered in this commit). Includes constants for various aspects of the consensus rules suggested by Jeremy Rubin.
2020-09-11 14:33:45 -07:00
SCRIPT_ERR_TAPROOT_WRONG_CONTROL_SIZE,
Implement Tapscript script validation rules (BIP 342) This adds a new `SigVersion::TAPSCRIPT`, makes the necessary interpreter changes to make it implement BIP342, and uses them for leaf version 0xc0 in Taproot script path spends.
2020-09-11 14:34:02 -07:00
SCRIPT_ERR_TAPSCRIPT_VALIDATION_WEIGHT,
SCRIPT_ERR_TAPSCRIPT_CHECKMULTISIG,
SCRIPT_ERR_TAPSCRIPT_MINIMALIF,
Support for Schnorr signatures and integration in SignatureCheckers (BIP 340) This enables the schnorrsig module in libsecp256k1, adds the relevant types and functions to src/pubkey, as well as in higher-level `SignatureChecker` classes. The (verification side of the) BIP340 test vectors is also added.
2020-09-11 14:33:30 -07:00
Add constant scriptCode policy in non-segwit scripts This disables OP_CODESEPARATOR in non-segwit scripts (even in an unexecuted branch), and makes a positive FindAndDelete result invalid. This ensures that the scriptCode serialized in SignatureHash() is always the same as the script passing to the EvalScript.
2018-04-27 03:56:29 +08:00
/* Constant scriptCode */
SCRIPT_ERR_OP_CODESEPARATOR,
SCRIPT_ERR_SIG_FINDANDDELETE,
[BROKEN] Add CA validation
2019-03-19 20:39:56 +00:00
// ELEMENTS:
SCRIPT_ERR_RANGEPROOF,
Implement Streaming SHA256 opcodes Co-authored-by: roconnor-blockstream <roconnor@blockstream.com>
2021-06-25 05:50:28 +00:00
SCRIPT_ERR_PEDERSEN_TALLY,
/* Elements: New tapscript related errors */
SCRIPT_ERR_SHA2_CONTEXT_LOAD,
SCRIPT_ERR_SHA2_CONTEXT_WRITE,
Implement transaction introspection opcodes
2021-07-11 11:04:23 +00:00
SCRIPT_ERR_INTROSPECT_CONTEXT_UNAVAILABLE,
SCRIPT_ERR_INTROSPECT_INDEX_OUT_OF_BOUNDS,
Implement arithmetic opcodes
2021-08-25 20:48:20 +00:00
SCRIPT_ERR_EXPECTED_8BYTES,
Add crypto opcodes
2021-08-01 19:21:33 +00:00
SCRIPT_ERR_ARITHMETIC64,
Script: Move SCRIPT_ERR_COUNT SCRIPT_ERR_COUNT is a pseudo error that returns the number of errors. It must always be last in the enum.
2023-11-10 15:50:24 +01:00
SCRIPT_ERR_ECMULTVERIFYFAIL,
Add Simplicity verification Unactivated.
2024-06-10 12:19:21 -04:00
/* Elements: Simplicity related errors */
SCRIPT_ERR_SIMPLICITY_WRONG_LENGTH,
SCRIPT_ERR_SIMPLICITY_NOT_YET_IMPLEMENTED,
SCRIPT_ERR_SIMPLICITY_DATA_OUT_OF_RANGE,
SCRIPT_ERR_SIMPLICITY_DATA_OUT_OF_ORDER,
SCRIPT_ERR_SIMPLICITY_FAIL_CODE,
Update to latest Simplicity The main difference is that there is now explicit simplicity deallocation functions to go with the allocation functions in the API. There are some minor changes to error message text. The deserialization code is now automatically generated. The are some other minor internal changes.
2025-01-31 07:35:25 -05:00
SCRIPT_ERR_SIMPLICITY_RESERVED_CODE,
Add Simplicity verification Unactivated.
2024-06-10 12:19:21 -04:00
SCRIPT_ERR_SIMPLICITY_HIDDEN,
SCRIPT_ERR_SIMPLICITY_BITSTREAM_EOF,
SCRIPT_ERR_SIMPLICITY_BITSTREAM_TRAILING_BYTES,
SCRIPT_ERR_SIMPLICITY_BITSTREAM_ILLEGAL_PADDING,
SCRIPT_ERR_SIMPLICITY_TYPE_INFERENCE_UNIFICATION,
SCRIPT_ERR_SIMPLICITY_TYPE_INFERENCE_OCCURS_CHECK,
SCRIPT_ERR_SIMPLICITY_TYPE_INFERENCE_NOT_PROGRAM,
SCRIPT_ERR_SIMPLICITY_WITNESS_EOF,
SCRIPT_ERR_SIMPLICITY_WITNESS_TRAILING_BYTES,
SCRIPT_ERR_SIMPLICITY_WITNESS_ILLEGAL_PADDING,
SCRIPT_ERR_SIMPLICITY_UNSHARED_SUBEXPRESSION,
SCRIPT_ERR_SIMPLICITY_CMR,
SCRIPT_ERR_SIMPLICITY_EXEC_BUDGET,
SCRIPT_ERR_SIMPLICITY_EXEC_MEMORY,
SCRIPT_ERR_SIMPLICITY_EXEC_JET,
SCRIPT_ERR_SIMPLICITY_EXEC_ASSERT,
SCRIPT_ERR_SIMPLICITY_ANTIDOS,
SCRIPT_ERR_SIMPLICITY_HIDDEN_ROOT,
SCRIPT_ERR_SIMPLICITY_AMR,
Update Simplicity integeration This Simplicity update has - renamed a few types - moved some files around - added a minCost parameter, currently set to 0 - added a new error code
2025-06-18 11:41:44 -04:00
SCRIPT_ERR_SIMPLICITY_OVERWEIGHT,
Add Simplicity verification Unactivated.
2024-06-10 12:19:21 -04:00
Script: Move SCRIPT_ERR_COUNT SCRIPT_ERR_COUNT is a pseudo error that returns the number of errors. It must always be last in the enum.
2023-11-10 15:50:24 +01:00
/* Must go last */
SCRIPT_ERR_ERROR_COUNT
script: create sane error return codes for script validation and remove logging Attempt to codify the possible error statuses associated with script validation. script/types.h has been created with the expectation that it will be part of the public lib interface. The other flag enums will be moved here in a future commit. Logging has also been removed in order to drop the dependency on core.h. It can be re-added to bitcoind as-needed. This makes script verification finally free of application state and boost!
2014-10-31 23:29:12 -04:00
} ScriptError;
Script: Move SCRIPT_ERR_COUNT SCRIPT_ERR_COUNT is a pseudo error that returns the number of errors. It must always be last in the enum.
2023-11-10 15:50:24 +01:00
#define SCRIPT_ERR_LAST SCRIPT_ERR_ERROR_COUNT
script: create sane error return codes for script validation and remove logging Attempt to codify the possible error statuses associated with script validation. script/types.h has been created with the expectation that it will be part of the public lib interface. The other flag enums will be moved here in a future commit. Logging has also been removed in order to drop the dependency on core.h. It can be re-added to bitcoind as-needed. This makes script verification finally free of application state and boost!
2014-10-31 23:29:12 -04:00
refactor: Replace const char* to std::string Some functions should be returning std::string instead of const char*. This commit changes that.
2020-05-18 17:14:10 +09:00
std::string ScriptErrorString(const ScriptError error);
script: create sane error return codes for script validation and remove logging Attempt to codify the possible error statuses associated with script validation. script/types.h has been created with the expectation that it will be part of the public lib interface. The other flag enums will be moved here in a future commit. Logging has also been removed in order to drop the dependency on core.h. It can be re-added to bitcoind as-needed. This makes script verification finally free of application state and boost!
2014-10-31 23:29:12 -04:00
Normalize header guard of script_error.h
2014-11-20 20:06:08 +01:00
#endif // BITCOIN_SCRIPT_SCRIPT_ERROR_H
Reference in a new issue Copy permalink