xpi-ts 0.2.13 → 0.2.15

package/dist/cjs/lib/bitcore/script/interpreter/interpreter.js

@@ -0,0 +1,1362 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Interpreter = void 0;
+exports.evalScript = evalScript;
+exports.verifyScript = verifyScript;
+const crypto_1 = require("../../crypto");
+const publickey_1 = require("../../publickey");
+const sighash_1 = require("../../transaction/sighash");
+const buffer_1 = require("../../util/buffer");
+const opcode_1 = require("../../opcode");
+const hash_1 = require("../../crypto/hash");
+const script_1 = require("../../script");
+const condition_stack_1 = require("./condition-stack");
+const script_num_1 = require("./script-num");
+const types_1 = require("./types");
+const taproot_1 = require("../taproot");
+function stacktop(stack, offset) {
+    return stack[stack.length + offset];
+}
+function stackset(stack, offset, value) {
+    stack[stack.length + offset] = value;
+}
+function popstack(stack) {
+    if (stack.length === 0) {
+        throw new Error('popstack: stack empty');
+    }
+    stack.pop();
+}
+function stackswap(stack, offsetA, offsetB) {
+    const idxA = stack.length + offsetA;
+    const idxB = stack.length + offsetB;
+    const tmp = stack[idxA];
+    stack[idxA] = stack[idxB];
+    stack[idxB] = tmp;
+}
+const EMPTY_BUFFER = buffer_1.BufferUtil.alloc(0);
+const FALSE_BUFFER = buffer_1.BufferUtil.alloc(0);
+const TRUE_BUFFER = buffer_1.BufferUtil.from([0x01]);
+function castToBool(buf) {
+    for (let i = 0; i < buf.length; i++) {
+        if (buf[i] !== 0) {
+            if (i === buf.length - 1 && buf[i] === 0x80) {
+                return false;
+            }
+            return true;
+        }
+    }
+    return false;
+}
+const FIRST_UNDEFINED_OP_VALUE = opcode_1.Opcode.OP_RAWLEFTBITSHIFT + 1;
+function isOpcodeDisabled(opcode) {
+    switch (opcode) {
+        case opcode_1.Opcode.OP_RESERVED:
+        case opcode_1.Opcode.OP_VERIF:
+        case opcode_1.Opcode.OP_VERNOTIF:
+        case opcode_1.Opcode.OP_IFDUP:
+        case opcode_1.Opcode.OP_INVERT:
+        case opcode_1.Opcode.OP_RESERVED1:
+        case opcode_1.Opcode.OP_RESERVED2:
+        case opcode_1.Opcode.OP_2MUL:
+        case opcode_1.Opcode.OP_2DIV:
+        case opcode_1.Opcode.OP_MUL:
+        case opcode_1.Opcode.OP_NUMEQUAL:
+        case opcode_1.Opcode.OP_NUMEQUALVERIFY:
+        case opcode_1.Opcode.OP_NUMNOTEQUAL:
+        case opcode_1.Opcode.OP_SHA1:
+            return true;
+        default:
+            if (opcode >= FIRST_UNDEFINED_OP_VALUE) {
+                return true;
+            }
+            return false;
+    }
+}
+function checkMinimalPush(data, opcode) {
+    if (data.length === 0) {
+        return opcode === opcode_1.Opcode.OP_0;
+    }
+    if (data.length === 1) {
+        if (data[0] >= 1 && data[0] <= 16) {
+            return opcode === opcode_1.Opcode.OP_1 + (data[0] - 1);
+        }
+        if (data[0] === 0x81) {
+            return opcode === opcode_1.Opcode.OP_1NEGATE;
+        }
+    }
+    if (data.length <= 75) {
+        return opcode === data.length;
+    }
+    if (data.length <= 255) {
+        return opcode === opcode_1.Opcode.OP_PUSHDATA1;
+    }
+    if (data.length <= 65535) {
+        return opcode === opcode_1.Opcode.OP_PUSHDATA2;
+    }
+    return true;
+}
+function readInstruction(script, offset) {
+    if (offset >= script.length) {
+        return null;
+    }
+    const opcode = script[offset];
+    let data = EMPTY_BUFFER;
+    let next = offset + 1;
+    if (opcode >= 0 && opcode < opcode_1.Opcode.OP_PUSHDATA1) {
+        const len = opcode;
+        if (next + len > script.length) {
+            return null;
+        }
+        data = script.slice(next, next + len);
+        next += len;
+    }
+    else if (opcode === opcode_1.Opcode.OP_PUSHDATA1) {
+        if (next >= script.length) {
+            return null;
+        }
+        const len = script[next];
+        next++;
+        if (next + len > script.length) {
+            return null;
+        }
+        data = script.slice(next, next + len);
+        next += len;
+    }
+    else if (opcode === opcode_1.Opcode.OP_PUSHDATA2) {
+        if (next + 2 > script.length) {
+            return null;
+        }
+        const len = script[next] | (script[next + 1] << 8);
+        next += 2;
+        if (next + len > script.length) {
+            return null;
+        }
+        data = script.slice(next, next + len);
+        next += len;
+    }
+    else if (opcode === opcode_1.Opcode.OP_PUSHDATA4) {
+        if (next + 4 > script.length) {
+            return null;
+        }
+        const len = script[next] |
+            (script[next + 1] << 8) |
+            (script[next + 2] << 16) |
+            ((script[next + 3] << 24) >>> 0);
+        next += 4;
+        if (next + len > script.length) {
+            return null;
+        }
+        data = script.slice(next, next + len);
+        next += len;
+    }
+    return { opcode, data, nextOffset: next };
+}
+function success() {
+    return { success: true, error: types_1.ScriptError.OK };
+}
+function failure(error) {
+    return { success: false, error };
+}
+function evalScript(stack, scriptBuf, flags, checker, metrics, execdata) {
+    if (scriptBuf.length > types_1.MAX_SCRIPT_SIZE) {
+        return failure(types_1.ScriptError.SCRIPT_SIZE);
+    }
+    const altstack = [];
+    const vfExec = new condition_stack_1.ConditionStack();
+    let nOpCount = 0;
+    let opcodePos = 0;
+    let offset = 0;
+    let codeHashBegin = 0;
+    try {
+        while (offset < scriptBuf.length) {
+            const fExec = vfExec.allTrue();
+            const instr = readInstruction(scriptBuf, offset);
+            if (!instr) {
+                return failure(types_1.ScriptError.BAD_OPCODE);
+            }
+            const { opcode, data: pushData } = instr;
+            offset = instr.nextOffset;
+            if (pushData.length > types_1.MAX_SCRIPT_ELEMENT_SIZE) {
+                return failure(types_1.ScriptError.PUSH_SIZE);
+            }
+            if (opcode > opcode_1.Opcode.OP_16 && ++nOpCount > types_1.MAX_OPS_PER_SCRIPT) {
+                return failure(types_1.ScriptError.OP_COUNT);
+            }
+            if (isOpcodeDisabled(opcode)) {
+                return failure(types_1.ScriptError.DISABLED_OPCODE);
+            }
+            if (opcode === opcode_1.Opcode.OP_SCRIPTTYPE) {
+                return failure(types_1.ScriptError.INVALID_OP_SCRIPTTYPE);
+            }
+            if (fExec && opcode >= 0 && opcode <= opcode_1.Opcode.OP_PUSHDATA4) {
+                if (!checkMinimalPush(pushData, opcode)) {
+                    return failure(types_1.ScriptError.MINIMALDATA);
+                }
+                stack.push(pushData);
+            }
+            else if (fExec ||
+                (opcode >= opcode_1.Opcode.OP_IF && opcode <= opcode_1.Opcode.OP_ENDIF)) {
+                const result = executeOpcode(opcode, stack, altstack, vfExec, fExec, flags, checker, metrics, execdata, scriptBuf, codeHashBegin, offset, opcodePos, nOpCount);
+                if (!result.success) {
+                    return result;
+                }
+                if (result.codeHashBegin !== undefined) {
+                    codeHashBegin = result.codeHashBegin;
+                }
+                if (result.nOpCount !== undefined) {
+                    nOpCount = result.nOpCount;
+                }
+            }
+            if (stack.length + altstack.length > types_1.MAX_STACK_SIZE) {
+                return failure(types_1.ScriptError.STACK_SIZE);
+            }
+            opcodePos++;
+        }
+    }
+    catch {
+        return failure(types_1.ScriptError.UNKNOWN);
+    }
+    if (!vfExec.isEmpty()) {
+        return failure(types_1.ScriptError.UNBALANCED_CONDITIONAL);
+    }
+    return success();
+}
+function opcodeSuccess(overrides) {
+    return { success: true, error: types_1.ScriptError.OK, ...overrides };
+}
+function opcodeFailure(error) {
+    return { success: false, error };
+}
+function executeOpcode(opcode, stack, altstack, vfExec, fExec, flags, checker, metrics, execdata, scriptBuf, codeHashBegin, currentOffset, opcodePos, nOpCount) {
+    switch (opcode) {
+        case opcode_1.Opcode.OP_1NEGATE:
+        case opcode_1.Opcode.OP_1:
+        case opcode_1.Opcode.OP_2:
+        case opcode_1.Opcode.OP_3:
+        case opcode_1.Opcode.OP_4:
+        case opcode_1.Opcode.OP_5:
+        case opcode_1.Opcode.OP_6:
+        case opcode_1.Opcode.OP_7:
+        case opcode_1.Opcode.OP_8:
+        case opcode_1.Opcode.OP_9:
+        case opcode_1.Opcode.OP_10:
+        case opcode_1.Opcode.OP_11:
+        case opcode_1.Opcode.OP_12:
+        case opcode_1.Opcode.OP_13:
+        case opcode_1.Opcode.OP_14:
+        case opcode_1.Opcode.OP_15:
+        case opcode_1.Opcode.OP_16: {
+            const n = opcode - (opcode_1.Opcode.OP_1 - 1);
+            const bn = new script_num_1.ScriptNum(BigInt(n));
+            stack.push(bn.toBuffer());
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_NOP:
+            return opcodeSuccess();
+        case opcode_1.Opcode.OP_CHECKLOCKTIMEVERIFY: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const nLockTime = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -1), true, 5);
+            if (nLockTime.isNegative()) {
+                return opcodeFailure(types_1.ScriptError.NEGATIVE_LOCKTIME);
+            }
+            if (!checker.checkLockTime(nLockTime.value)) {
+                return opcodeFailure(types_1.ScriptError.UNSATISFIED_LOCKTIME);
+            }
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_CHECKSEQUENCEVERIFY: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const nSequence = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -1), true, 5);
+            if (nSequence.isNegative()) {
+                return opcodeFailure(types_1.ScriptError.NEGATIVE_LOCKTIME);
+            }
+            const SEQUENCE_LOCKTIME_DISABLE_FLAG = 1 << 31;
+            if ((Number(nSequence.value) & SEQUENCE_LOCKTIME_DISABLE_FLAG) !== 0) {
+                return opcodeSuccess();
+            }
+            if (!checker.checkSequence(nSequence.value)) {
+                return opcodeFailure(types_1.ScriptError.UNSATISFIED_LOCKTIME);
+            }
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_NOP1:
+        case opcode_1.Opcode.OP_NOP4:
+        case opcode_1.Opcode.OP_NOP5:
+        case opcode_1.Opcode.OP_NOP6:
+        case opcode_1.Opcode.OP_NOP7:
+        case opcode_1.Opcode.OP_NOP8:
+        case opcode_1.Opcode.OP_NOP9:
+        case opcode_1.Opcode.OP_NOP10: {
+            if (flags & types_1.ScriptFlags.VERIFY_DISCOURAGE_UPGRADABLE_NOPS) {
+                return opcodeFailure(types_1.ScriptError.DISCOURAGE_UPGRADABLE_NOPS);
+            }
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_IF:
+        case opcode_1.Opcode.OP_NOTIF: {
+            let fValue = false;
+            if (fExec) {
+                if (stack.length < 1) {
+                    return opcodeFailure(types_1.ScriptError.UNBALANCED_CONDITIONAL);
+                }
+                const vch = stacktop(stack, -1);
+                if (flags & types_1.ScriptFlags.VERIFY_MINIMALIF) {
+                    if (vch.length > 1) {
+                        return opcodeFailure(types_1.ScriptError.MINIMALIF);
+                    }
+                    if (vch.length === 1 && vch[0] !== 1) {
+                        return opcodeFailure(types_1.ScriptError.MINIMALIF);
+                    }
+                }
+                fValue = castToBool(vch);
+                if (opcode === opcode_1.Opcode.OP_NOTIF) {
+                    fValue = !fValue;
+                }
+                popstack(stack);
+            }
+            vfExec.pushBack(fValue);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_ELSE: {
+            if (vfExec.isEmpty()) {
+                return opcodeFailure(types_1.ScriptError.UNBALANCED_CONDITIONAL);
+            }
+            vfExec.toggleTop();
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_ENDIF: {
+            if (vfExec.isEmpty()) {
+                return opcodeFailure(types_1.ScriptError.UNBALANCED_CONDITIONAL);
+            }
+            vfExec.popBack();
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_VERIFY: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            if (castToBool(stacktop(stack, -1))) {
+                popstack(stack);
+            }
+            else {
+                return opcodeFailure(types_1.ScriptError.VERIFY);
+            }
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_RETURN:
+            return opcodeFailure(types_1.ScriptError.OP_RETURN);
+        case opcode_1.Opcode.OP_TOALTSTACK: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            altstack.push(stacktop(stack, -1));
+            popstack(stack);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_FROMALTSTACK: {
+            if (altstack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_ALTSTACK_OPERATION);
+            }
+            stack.push(altstack[altstack.length - 1]);
+            altstack.pop();
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_2DROP: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            popstack(stack);
+            popstack(stack);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_2DUP: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            stack.push(stacktop(stack, -2));
+            stack.push(stacktop(stack, -2));
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_3DUP: {
+            if (stack.length < 3) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            stack.push(stacktop(stack, -3));
+            stack.push(stacktop(stack, -3));
+            stack.push(stacktop(stack, -3));
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_2OVER: {
+            if (stack.length < 4) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            stack.push(stacktop(stack, -4));
+            stack.push(stacktop(stack, -4));
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_2ROT: {
+            if (stack.length < 6) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const v1 = stacktop(stack, -6);
+            const v2 = stacktop(stack, -5);
+            stack.splice(stack.length - 6, 2);
+            stack.push(v1, v2);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_2SWAP: {
+            if (stack.length < 4) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            stackswap(stack, -4, -2);
+            stackswap(stack, -3, -1);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_DEPTH: {
+            const bn = new script_num_1.ScriptNum(BigInt(stack.length));
+            stack.push(bn.toBuffer());
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_DROP: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            popstack(stack);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_DUP: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            stack.push(stacktop(stack, -1));
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_NIP: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            stack.splice(stack.length - 2, 1);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_OVER: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            stack.push(stacktop(stack, -2));
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_PICK:
+        case opcode_1.Opcode.OP_ROLL: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const n = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -1), true).toNumber();
+            popstack(stack);
+            if (n < 0 || n >= stack.length) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const val = stacktop(stack, -n - 1);
+            if (opcode === opcode_1.Opcode.OP_ROLL) {
+                stack.splice(stack.length - n - 1, 1);
+            }
+            stack.push(val);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_ROT: {
+            if (stack.length < 3) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            stackswap(stack, -3, -2);
+            stackswap(stack, -2, -1);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_SWAP: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            stackswap(stack, -2, -1);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_TUCK: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const vch = stacktop(stack, -1);
+            stack.splice(stack.length - 2, 0, vch);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_SIZE: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const bn = new script_num_1.ScriptNum(BigInt(stacktop(stack, -1).length));
+            stack.push(bn.toBuffer());
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_AND:
+        case opcode_1.Opcode.OP_OR:
+        case opcode_1.Opcode.OP_XOR: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const a = stacktop(stack, -2);
+            const b = stacktop(stack, -1);
+            const longer = a.length >= b.length ? a : b;
+            const shorter = a.length >= b.length ? b : a;
+            const result = longer;
+            if (opcode === opcode_1.Opcode.OP_AND) {
+                for (let i = 0; i < result.length; i++) {
+                    result[i] = i < shorter.length ? result[i] & shorter[i] : 0;
+                }
+            }
+            else if (opcode === opcode_1.Opcode.OP_OR) {
+                for (let i = 0; i < shorter.length; i++) {
+                    result[i] |= shorter[i];
+                }
+            }
+            else {
+                for (let i = 0; i < shorter.length; i++) {
+                    result[i] ^= shorter[i];
+                }
+            }
+            const depthShorter = a.length >= b.length ? -1 : -2;
+            stack.splice(stack.length + depthShorter, 1);
+            stackset(stack, -1, result);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_EQUAL:
+        case opcode_1.Opcode.OP_EQUALVERIFY: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const a2 = stacktop(stack, -2);
+            const b2 = stacktop(stack, -1);
+            const fEqual = a2.equals(b2);
+            popstack(stack);
+            popstack(stack);
+            stack.push(fEqual ? TRUE_BUFFER : FALSE_BUFFER);
+            if (opcode === opcode_1.Opcode.OP_EQUALVERIFY) {
+                if (fEqual) {
+                    popstack(stack);
+                }
+                else {
+                    return opcodeFailure(types_1.ScriptError.EQUALVERIFY);
+                }
+            }
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_1ADD:
+        case opcode_1.Opcode.OP_1SUB:
+        case opcode_1.Opcode.OP_NEGATE:
+        case opcode_1.Opcode.OP_ABS:
+        case opcode_1.Opcode.OP_NOT:
+        case opcode_1.Opcode.OP_0NOTEQUAL: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            let bn = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -1), true);
+            const ONE = new script_num_1.ScriptNum(1n);
+            switch (opcode) {
+                case opcode_1.Opcode.OP_1ADD:
+                    bn = bn.add(ONE);
+                    break;
+                case opcode_1.Opcode.OP_1SUB:
+                    bn = bn.sub(ONE);
+                    break;
+                case opcode_1.Opcode.OP_NEGATE:
+                    bn = bn.negate();
+                    break;
+                case opcode_1.Opcode.OP_ABS:
+                    bn = bn.abs();
+                    break;
+                case opcode_1.Opcode.OP_NOT:
+                    bn = new script_num_1.ScriptNum(bn.isZero() ? 1n : 0n);
+                    break;
+                case opcode_1.Opcode.OP_0NOTEQUAL:
+                    bn = new script_num_1.ScriptNum(bn.isZero() ? 0n : 1n);
+                    break;
+            }
+            popstack(stack);
+            stack.push(bn.toBuffer());
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_ADD:
+        case opcode_1.Opcode.OP_SUB:
+        case opcode_1.Opcode.OP_DIV:
+        case opcode_1.Opcode.OP_MOD:
+        case opcode_1.Opcode.OP_MULPOW2:
+        case opcode_1.Opcode.OP_BOOLAND:
+        case opcode_1.Opcode.OP_BOOLOR:
+        case opcode_1.Opcode.OP_LESSTHAN:
+        case opcode_1.Opcode.OP_GREATERTHAN:
+        case opcode_1.Opcode.OP_LESSTHANOREQUAL:
+        case opcode_1.Opcode.OP_GREATERTHANOREQUAL:
+        case opcode_1.Opcode.OP_MIN:
+        case opcode_1.Opcode.OP_MAX: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const bn1 = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -2), true);
+            const bn2 = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -1), true);
+            let bnResult;
+            switch (opcode) {
+                case opcode_1.Opcode.OP_ADD:
+                    bnResult = bn1.add(bn2);
+                    break;
+                case opcode_1.Opcode.OP_SUB:
+                    bnResult = bn1.sub(bn2);
+                    break;
+                case opcode_1.Opcode.OP_DIV:
+                    if (bn2.isZero()) {
+                        return opcodeFailure(types_1.ScriptError.DIV_BY_ZERO);
+                    }
+                    bnResult = bn1.div(bn2);
+                    break;
+                case opcode_1.Opcode.OP_MOD:
+                    if (bn2.isZero()) {
+                        return opcodeFailure(types_1.ScriptError.MOD_BY_ZERO);
+                    }
+                    bnResult = bn1.mod(bn2);
+                    break;
+                case opcode_1.Opcode.OP_MULPOW2:
+                    bnResult = bn1.mulpow2(bn2);
+                    break;
+                case opcode_1.Opcode.OP_BOOLAND:
+                    bnResult = new script_num_1.ScriptNum(!bn1.isZero() && !bn2.isZero() ? 1n : 0n);
+                    break;
+                case opcode_1.Opcode.OP_BOOLOR:
+                    bnResult = new script_num_1.ScriptNum(!bn1.isZero() || !bn2.isZero() ? 1n : 0n);
+                    break;
+                case opcode_1.Opcode.OP_LESSTHAN:
+                    bnResult = new script_num_1.ScriptNum(bn1.lt(bn2) ? 1n : 0n);
+                    break;
+                case opcode_1.Opcode.OP_GREATERTHAN:
+                    bnResult = new script_num_1.ScriptNum(bn1.gt(bn2) ? 1n : 0n);
+                    break;
+                case opcode_1.Opcode.OP_LESSTHANOREQUAL:
+                    bnResult = new script_num_1.ScriptNum(bn1.lte(bn2) ? 1n : 0n);
+                    break;
+                case opcode_1.Opcode.OP_GREATERTHANOREQUAL:
+                    bnResult = new script_num_1.ScriptNum(bn1.gte(bn2) ? 1n : 0n);
+                    break;
+                case opcode_1.Opcode.OP_MIN:
+                    bnResult = bn1.lt(bn2) ? bn1 : bn2;
+                    break;
+                case opcode_1.Opcode.OP_MAX:
+                    bnResult = bn1.gt(bn2) ? bn1 : bn2;
+                    break;
+                default:
+                    return opcodeFailure(types_1.ScriptError.BAD_OPCODE);
+            }
+            popstack(stack);
+            popstack(stack);
+            stack.push(bnResult.toBuffer());
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_WITHIN: {
+            if (stack.length < 3) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const x = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -3), true);
+            const min = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -2), true);
+            const max = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -1), true);
+            const fValue = min.lte(x) && x.lt(max);
+            popstack(stack);
+            popstack(stack);
+            popstack(stack);
+            stack.push(fValue ? TRUE_BUFFER : FALSE_BUFFER);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_RIPEMD160:
+        case opcode_1.Opcode.OP_SHA256:
+        case opcode_1.Opcode.OP_HASH160:
+        case opcode_1.Opcode.OP_HASH256: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const data = stacktop(stack, -1);
+            let hashResult;
+            switch (opcode) {
+                case opcode_1.Opcode.OP_RIPEMD160:
+                    hashResult = hash_1.Hash.ripemd160(data);
+                    break;
+                case opcode_1.Opcode.OP_SHA256:
+                    hashResult = hash_1.Hash.sha256(data);
+                    break;
+                case opcode_1.Opcode.OP_HASH160:
+                    hashResult = hash_1.Hash.sha256ripemd160(data);
+                    break;
+                case opcode_1.Opcode.OP_HASH256:
+                    hashResult = hash_1.Hash.sha256sha256(data);
+                    break;
+                default:
+                    return opcodeFailure(types_1.ScriptError.BAD_OPCODE);
+            }
+            popstack(stack);
+            stack.push(hashResult);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_CODESEPARATOR: {
+            execdata.codeseparatorPos = opcodePos;
+            return opcodeSuccess({ codeHashBegin: currentOffset });
+        }
+        case opcode_1.Opcode.OP_CHECKSIG:
+        case opcode_1.Opcode.OP_CHECKSIGVERIFY: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const vchSig = stacktop(stack, -2);
+            const vchPubKey = stacktop(stack, -1);
+            let fSuccess = false;
+            if (vchSig.length > 0) {
+                const scriptCode = scriptBuf.slice(codeHashBegin);
+                fSuccess = checker.checkSignature(vchSig, vchPubKey, execdata, scriptCode, flags);
+                metrics.sigChecks += 1;
+                if (!fSuccess) {
+                    return opcodeFailure(types_1.ScriptError.SIG_NULLFAIL);
+                }
+            }
+            popstack(stack);
+            popstack(stack);
+            stack.push(fSuccess ? TRUE_BUFFER : FALSE_BUFFER);
+            if (opcode === opcode_1.Opcode.OP_CHECKSIGVERIFY) {
+                if (fSuccess) {
+                    popstack(stack);
+                }
+                else {
+                    return opcodeFailure(types_1.ScriptError.CHECKSIGVERIFY);
+                }
+            }
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_CHECKDATASIG:
+        case opcode_1.Opcode.OP_CHECKDATASIGVERIFY: {
+            if (stack.length < 3) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const cdsSig = stacktop(stack, -3);
+            const cdsMsg = stacktop(stack, -2);
+            const cdsPubKey = stacktop(stack, -1);
+            let cdSuccess = false;
+            if (cdsSig.length > 0) {
+                const msgHash = hash_1.Hash.sha256(cdsMsg);
+                cdSuccess = checker.verifySignature(cdsSig, cdsPubKey, msgHash);
+                metrics.sigChecks += 1;
+                if (!cdSuccess) {
+                    return opcodeFailure(types_1.ScriptError.SIG_NULLFAIL);
+                }
+            }
+            popstack(stack);
+            popstack(stack);
+            popstack(stack);
+            stack.push(cdSuccess ? TRUE_BUFFER : FALSE_BUFFER);
+            if (opcode === opcode_1.Opcode.OP_CHECKDATASIGVERIFY) {
+                if (cdSuccess) {
+                    popstack(stack);
+                }
+                else {
+                    return opcodeFailure(types_1.ScriptError.CHECKDATASIGVERIFY);
+                }
+            }
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_CHECKMULTISIG:
+        case opcode_1.Opcode.OP_CHECKMULTISIGVERIFY: {
+            return executeCheckmultisig(opcode, stack, flags, checker, metrics, execdata, scriptBuf, codeHashBegin, currentOffset, nOpCount);
+        }
+        case opcode_1.Opcode.OP_CAT: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const catA = stacktop(stack, -2);
+            const catB = stacktop(stack, -1);
+            if (catA.length + catB.length > types_1.MAX_SCRIPT_ELEMENT_SIZE) {
+                return opcodeFailure(types_1.ScriptError.PUSH_SIZE);
+            }
+            const catResult = buffer_1.BufferUtil.concat([catA, catB]);
+            popstack(stack);
+            stackset(stack, -1, catResult);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_SPLIT: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const splitData = stacktop(stack, -2);
+            const pos = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -1), true).toNumber();
+            if (pos < 0 || pos > splitData.length) {
+                return opcodeFailure(types_1.ScriptError.INVALID_SPLIT_RANGE);
+            }
+            const n1 = splitData.slice(0, pos);
+            const n2 = splitData.slice(pos);
+            stackset(stack, -2, n1);
+            stackset(stack, -1, n2);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_REVERSEBYTES: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const revData = stacktop(stack, -1);
+            revData.reverse();
+            stackset(stack, -1, revData);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_NUM2BIN: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const targetSize = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -1), true).toNumber();
+            if (targetSize > types_1.MAX_SCRIPT_ELEMENT_SIZE) {
+                return opcodeFailure(types_1.ScriptError.PUSH_SIZE);
+            }
+            if (targetSize > types_1.MAX_NUM2BIN_SIZE) {
+                return opcodeFailure(types_1.ScriptError.INVALID_NUM2BIN_SIZE);
+            }
+            popstack(stack);
+            let rawnum = stacktop(stack, -1);
+            rawnum = script_num_1.ScriptNum.minimallyEncode(rawnum);
+            if (rawnum.length > targetSize) {
+                return opcodeFailure(types_1.ScriptError.IMPOSSIBLE_ENCODING);
+            }
+            if (rawnum.length === targetSize) {
+                stackset(stack, -1, rawnum);
+                return opcodeSuccess();
+            }
+            let signbit = 0x00;
+            if (rawnum.length > 0) {
+                signbit = rawnum[rawnum.length - 1] & 0x80;
+                rawnum[rawnum.length - 1] &= 0x7f;
+            }
+            const padded = buffer_1.BufferUtil.alloc(targetSize, 0);
+            rawnum.copy(padded);
+            padded[targetSize - 1] = signbit;
+            stackset(stack, -1, padded);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_BIN2NUM: {
+            if (stack.length < 1) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const encoded = script_num_1.ScriptNum.minimallyEncode(stacktop(stack, -1));
+            if (!script_num_1.ScriptNum.isMinimallyEncoded(encoded)) {
+                return opcodeFailure(types_1.ScriptError.INVALID_NUMBER_RANGE);
+            }
+            stackset(stack, -1, encoded);
+            return opcodeSuccess();
+        }
+        case opcode_1.Opcode.OP_RAWLEFTBITSHIFT: {
+            if (stack.length < 2) {
+                return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+            }
+            const shiftData = stacktop(stack, -2);
+            const signedBitshift = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -1), true).toNumber();
+            popstack(stack);
+            if (shiftData.length === 0 || signedBitshift === 0) {
+                stackset(stack, -1, shiftData);
+                return opcodeSuccess();
+            }
+            let bitshift = Math.abs(signedBitshift);
+            if (bitshift > shiftData.length * 8) {
+                bitshift = shiftData.length * 8;
+            }
+            const innerBitshift = bitshift % 8;
+            const byteshift = Math.floor(bitshift / 8);
+            if (signedBitshift > 0) {
+                const mask = 0xff >> innerBitshift;
+                for (let idx = byteshift; idx < shiftData.length; idx++) {
+                    const bits = shiftData[idx];
+                    const off = idx - byteshift;
+                    const removeMask = mask << innerBitshift;
+                    shiftData[off] &= ~removeMask & 0xff;
+                    shiftData[off] |= (bits & mask) << innerBitshift;
+                    if (off > 0) {
+                        const removeMaskCarry = (~mask & 0xff) >> (8 - innerBitshift);
+                        shiftData[off - 1] &= ~removeMaskCarry & 0xff;
+                        shiftData[off - 1] |= (bits & ~mask & 0xff) >> (8 - innerBitshift);
+                    }
+                }
+                if (byteshift < shiftData.length) {
+                    shiftData[shiftData.length - byteshift - 1] &=
+                        (0xff << innerBitshift) & 0xff;
+                }
+                for (let i = shiftData.length - byteshift; i < shiftData.length; i++) {
+                    shiftData[i] = 0;
+                }
+            }
+            else {
+                const mask = (0xff << innerBitshift) & 0xff;
+                for (let idx = shiftData.length - byteshift - 1; idx >= 0; idx--) {
+                    const bits = shiftData[idx];
+                    const off = idx + byteshift;
+                    const removeMask = (mask >> innerBitshift) & 0xff;
+                    shiftData[off] &= ~removeMask & 0xff;
+                    shiftData[off] |= (bits & mask) >> innerBitshift;
+                    if (off + 1 < shiftData.length) {
+                        const removeMaskCarry = ((~mask & 0xff) << (8 - innerBitshift)) & 0xff;
+                        shiftData[off + 1] &= ~removeMaskCarry & 0xff;
+                        shiftData[off + 1] |=
+                            ((bits & ~mask & 0xff) << (8 - innerBitshift)) & 0xff;
+                    }
+                }
+                for (let i = 0; i < byteshift; i++) {
+                    shiftData[i] = 0;
+                }
+                if (byteshift < shiftData.length) {
+                    shiftData[byteshift] &= (0xff >> innerBitshift) & 0xff;
+                }
+            }
+            stackset(stack, -1, shiftData);
+            return opcodeSuccess();
+        }
+        default:
+            return opcodeFailure(types_1.ScriptError.BAD_OPCODE);
+    }
+}
+function executeCheckmultisig(opcode, stack, flags, checker, metrics, execdata, scriptBuf, codeHashBegin, _currentOffset, nOpCount) {
+    if (stack.length < 1) {
+        return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+    }
+    const nKeysCount = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -1), true).toNumber();
+    if (nKeysCount < 0 || nKeysCount > types_1.MAX_PUBKEYS_PER_MULTISIG) {
+        return opcodeFailure(types_1.ScriptError.PUBKEY_COUNT);
+    }
+    let updatedOpCount = nOpCount + nKeysCount;
+    if (updatedOpCount > types_1.MAX_OPS_PER_SCRIPT) {
+        return opcodeFailure(types_1.ScriptError.OP_COUNT);
+    }
+    const idxTopKey = 2;
+    const idxSigCount = idxTopKey + nKeysCount;
+    if (stack.length < idxSigCount) {
+        return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+    }
+    const nSigsCount = script_num_1.ScriptNum.fromBuffer(stacktop(stack, -idxSigCount), true).toNumber();
+    if (nSigsCount < 0 || nSigsCount > nKeysCount) {
+        return opcodeFailure(types_1.ScriptError.SIG_COUNT);
+    }
+    const idxTopSig = idxSigCount + 1;
+    const idxDummy = idxTopSig + nSigsCount;
+    if (stack.length < idxDummy) {
+        return opcodeFailure(types_1.ScriptError.INVALID_STACK_OPERATION);
+    }
+    const scriptCode = scriptBuf.slice(codeHashBegin);
+    let fSuccess = true;
+    const dummyElement = stacktop(stack, -idxDummy);
+    if (dummyElement.length !== 0) {
+        let checkBits = 0;
+        for (let i = 0; i < dummyElement.length; i++) {
+            checkBits |= dummyElement[i] << (8 * i);
+        }
+        let bitCount = 0;
+        let tmp = checkBits;
+        while (tmp) {
+            bitCount += tmp & 1;
+            tmp >>>= 1;
+        }
+        if (bitCount !== nSigsCount) {
+            return opcodeFailure(types_1.ScriptError.INVALID_BIT_COUNT);
+        }
+        const idxBottomKey = idxTopKey + nKeysCount - 1;
+        const idxBottomSig = idxTopSig + nSigsCount - 1;
+        let iKey = 0;
+        for (let iSig = 0; iSig < nSigsCount; iSig++, iKey++) {
+            if (checkBits >>> iKey === 0) {
+                return opcodeFailure(types_1.ScriptError.INVALID_BIT_RANGE);
+            }
+            while (((checkBits >>> iKey) & 0x01) === 0) {
+                iKey++;
+            }
+            if (iKey >= nKeysCount) {
+                return opcodeFailure(types_1.ScriptError.PUBKEY_COUNT);
+            }
+            const vchSig = stacktop(stack, -idxBottomSig + iSig);
+            const vchPubKey = stacktop(stack, -idxBottomKey + iKey);
+            if (!checker.checkSignature(vchSig, vchPubKey, execdata, scriptCode, flags)) {
+                return opcodeFailure(types_1.ScriptError.SIG_NULLFAIL);
+            }
+            metrics.sigChecks += 1;
+        }
+        if (checkBits >>> iKey !== 0) {
+            return opcodeFailure(types_1.ScriptError.INVALID_BIT_COUNT);
+        }
+    }
+    else {
+        let nSigsRemaining = nSigsCount;
+        let nKeysRemaining = nKeysCount;
+        while (fSuccess && nSigsRemaining > 0) {
+            const vchSig = stacktop(stack, -idxTopSig - (nSigsCount - nSigsRemaining));
+            const vchPubKey = stacktop(stack, -idxTopKey - (nKeysCount - nKeysRemaining));
+            const fOk = checker.checkSignature(vchSig, vchPubKey, execdata, scriptCode, flags);
+            if (fOk) {
+                nSigsRemaining--;
+            }
+            nKeysRemaining--;
+            if (nSigsRemaining > nKeysRemaining) {
+                fSuccess = false;
+            }
+        }
+        let allSigsNull = true;
+        for (let i = 0; i < nSigsCount; i++) {
+            if (stacktop(stack, -idxTopSig - i).length > 0) {
+                allSigsNull = false;
+                break;
+            }
+        }
+        if (!fSuccess && !allSigsNull) {
+            return opcodeFailure(types_1.ScriptError.SIG_NULLFAIL);
+        }
+        if (!allSigsNull) {
+            metrics.sigChecks += nKeysCount;
+        }
+    }
+    for (let i = 0; i < idxDummy; i++) {
+        popstack(stack);
+    }
+    stack.push(fSuccess ? TRUE_BUFFER : FALSE_BUFFER);
+    if (opcode === opcode_1.Opcode.OP_CHECKMULTISIGVERIFY) {
+        if (fSuccess) {
+            popstack(stack);
+        }
+        else {
+            return opcodeFailure(types_1.ScriptError.CHECKMULTISIGVERIFY);
+        }
+    }
+    return opcodeSuccess({ nOpCount: updatedOpCount });
+}
+function isPayToTaproot(scriptPubKey) {
+    if (scriptPubKey.length < taproot_1.TAPROOT_SIZE_WITHOUT_STATE) {
+        return false;
+    }
+    if (scriptPubKey[0] !== opcode_1.Opcode.OP_SCRIPTTYPE ||
+        scriptPubKey[1] !== taproot_1.TAPROOT_SCRIPTTYPE) {
+        return false;
+    }
+    if (scriptPubKey[2] !== 33) {
+        return false;
+    }
+    if (scriptPubKey.length === taproot_1.TAPROOT_SIZE_WITHOUT_STATE) {
+        return true;
+    }
+    return (scriptPubKey.length === taproot_1.TAPROOT_SIZE_WITH_STATE &&
+        scriptPubKey[taproot_1.TAPROOT_SIZE_WITHOUT_STATE] === 32);
+}
+function checkTaprootKeySpendSigEncoding(sig) {
+    if (sig.length === 0) {
+        return null;
+    }
+    if (sig.length !== 65) {
+        return types_1.ScriptError.SIG_BADLENGTH;
+    }
+    const hashtype = sig[sig.length - 1];
+    if ((hashtype & crypto_1.Signature.SIGHASH_ALGORITHM_MASK) !==
+        crypto_1.Signature.SIGHASH_LOTUS) {
+        return types_1.ScriptError.TAPROOT_KEY_SPEND_MUST_USE_LOTUS_SIGHASH;
+    }
+    return null;
+}
+function checkPubKeyEncoding(pubkey) {
+    if (pubkey.length === 33) {
+        if (pubkey[0] === 0x02 || pubkey[0] === 0x03) {
+            return null;
+        }
+    }
+    else if (pubkey.length === 65) {
+        if (pubkey[0] === 0x04) {
+            return null;
+        }
+    }
+    return types_1.ScriptError.PUBKEYTYPE;
+}
+function verifyTaprootSpend(stack, scriptSig, scriptPubKey, flags, checker, metrics) {
+    if (flags & types_1.ScriptFlags.DISABLE_TAPROOT_SIGHASH_LOTUS) {
+        return failure(types_1.ScriptError.TAPROOT_PHASEOUT);
+    }
+    if (!isPayToTaproot(scriptPubKey)) {
+        return failure(types_1.ScriptError.SCRIPTTYPE_MALFORMED_SCRIPT);
+    }
+    const vchPubkey = scriptPubKey.slice(taproot_1.TAPROOT_INTRO_SIZE, taproot_1.TAPROOT_SIZE_WITHOUT_STATE);
+    if (stack.length === 0) {
+        return failure(types_1.ScriptError.INVALID_STACK_OPERATION);
+    }
+    if (stack.length >= 2 &&
+        stack[stack.length - 1].length > 0 &&
+        stack[stack.length - 1][0] === taproot_1.TAPROOT_ANNEX_TAG) {
+        return failure(types_1.ScriptError.TAPROOT_ANNEX_NOT_SUPPORTED);
+    }
+    if (stack.length === 1) {
+        const vchSig = stack[stack.length - 1];
+        const sigFlags = flags | types_1.ScriptFlags.TAPROOT_KEY_SPEND_PATH;
+        const sigErr = checkTaprootKeySpendSigEncoding(vchSig);
+        if (sigErr !== null) {
+            return failure(sigErr);
+        }
+        const pkErr = checkPubKeyEncoding(vchPubkey);
+        if (pkErr !== null) {
+            return failure(pkErr);
+        }
+        if (vchSig.length === 0 ||
+            !checker.checkSignature(vchSig, vchPubkey, undefined, buffer_1.BufferUtil.alloc(0), sigFlags)) {
+            return failure(types_1.ScriptError.TAPROOT_VERIFY_SIGNATURE_FAILED);
+        }
+        metrics.sigChecks += 1;
+        return success();
+    }
+    const controlBlock = stack[stack.length - 1];
+    const scriptBytes = stack[stack.length - 2];
+    const execScript = scriptBytes;
+    stack.pop();
+    stack.pop();
+    const sizeRemainder = (controlBlock.length - taproot_1.TAPROOT_CONTROL_BASE_SIZE) %
+        taproot_1.TAPROOT_CONTROL_NODE_SIZE;
+    if (controlBlock.length < taproot_1.TAPROOT_CONTROL_BASE_SIZE ||
+        controlBlock.length > taproot_1.TAPROOT_CONTROL_MAX_SIZE ||
+        sizeRemainder !== 0) {
+        return failure(types_1.ScriptError.TAPROOT_WRONG_CONTROL_SIZE);
+    }
+    if ((controlBlock[0] & taproot_1.TAPROOT_LEAF_MASK) !== taproot_1.TAPROOT_LEAF_TAPSCRIPT) {
+        return failure(types_1.ScriptError.TAPROOT_LEAF_VERSION_NOT_SUPPORTED);
+    }
+    const commitResult = (0, taproot_1.verifyTaprootCommitment)(controlBlock, vchPubkey, script_1.Script.fromBuffer(execScript));
+    if (!commitResult.success) {
+        return failure(types_1.ScriptError.TAPROOT_VERIFY_COMMITMENT_FAILED);
+    }
+    if (scriptPubKey.length === taproot_1.TAPROOT_SIZE_WITH_STATE) {
+        const stateStart = taproot_1.TAPROOT_SIZE_WITHOUT_STATE + 1;
+        const stateEnd = taproot_1.TAPROOT_SIZE_WITH_STATE;
+        stack.push(scriptPubKey.slice(stateStart, stateEnd));
+    }
+    const taprootExecdata = {
+        codeseparatorPos: 0xffffffff,
+        executedScriptHash: commitResult.tapleafHash,
+    };
+    const evalResult = evalScript(stack, execScript, flags, checker, metrics, taprootExecdata);
+    if (!evalResult.success) {
+        return evalResult;
+    }
+    if (stack.length === 0 || !castToBool(stack[stack.length - 1])) {
+        return failure(types_1.ScriptError.EVAL_FALSE);
+    }
+    return verifyPostConditions(stack, scriptSig, flags, metrics);
+}
+function verifyScriptType(stack, scriptSig, scriptPubKey, flags, checker, metrics) {
+    if (scriptPubKey.length === 1) {
+        return failure(types_1.ScriptError.SCRIPTTYPE_MALFORMED_SCRIPT);
+    }
+    if (scriptPubKey[1] === taproot_1.TAPROOT_SCRIPTTYPE) {
+        return verifyTaprootSpend(stack, scriptSig, scriptPubKey, flags, checker, metrics);
+    }
+    return failure(types_1.ScriptError.SCRIPTTYPE_INVALID_TYPE);
+}
+function verifyPostConditions(stack, scriptSig, flags, metrics) {
+    if (flags & types_1.ScriptFlags.VERIFY_CLEANSTACK) {
+        if (stack.length !== 1) {
+            return failure(types_1.ScriptError.CLEANSTACK);
+        }
+    }
+    if (flags & types_1.ScriptFlags.VERIFY_INPUT_SIGCHECKS) {
+        if (scriptSig.length < metrics.sigChecks * 43 - 60) {
+            return failure(types_1.ScriptError.INPUT_SIGCHECKS);
+        }
+    }
+    return success();
+}
+function verifyScript(scriptSig, scriptPubKey, flags, checker) {
+    if (!isPushOnly(scriptSig)) {
+        return failure(types_1.ScriptError.SIG_PUSHONLY);
+    }
+    const metrics = { sigChecks: 0 };
+    const stack = [];
+    const sigExecdata = makeExecdata(buffer_1.BufferUtil.alloc(0));
+    const sigResult = evalScript(stack, scriptSig, flags, checker, metrics, sigExecdata);
+    if (!sigResult.success) {
+        return sigResult;
+    }
+    if (scriptPubKey.length > 0 && scriptPubKey[0] === opcode_1.Opcode.OP_SCRIPTTYPE) {
+        const stResult = verifyScriptType(stack, scriptSig, scriptPubKey, flags, checker, metrics);
+        return stResult;
+    }
+    const stackCopy = stack.map(el => el.slice());
+    const pubkeyExecdata = makeExecdata(scriptPubKey);
+    const pubkeyResult = evalScript(stack, scriptPubKey, flags, checker, metrics, pubkeyExecdata);
+    if (!pubkeyResult.success) {
+        return pubkeyResult;
+    }
+    if (stack.length === 0) {
+        return failure(types_1.ScriptError.EVAL_FALSE);
+    }
+    if (!castToBool(stack[stack.length - 1])) {
+        return failure(types_1.ScriptError.EVAL_FALSE);
+    }
+    if (isPayToScriptHash(scriptPubKey)) {
+        if (!isPushOnly(scriptSig)) {
+            return failure(types_1.ScriptError.SIG_PUSHONLY);
+        }
+        const p2shStack = stackCopy;
+        if (p2shStack.length === 0) {
+            return failure(types_1.ScriptError.EVAL_FALSE);
+        }
+        const serializedScript = p2shStack[p2shStack.length - 1];
+        p2shStack.pop();
+        const p2shExecdata = makeExecdata(serializedScript);
+        const p2shResult = evalScript(p2shStack, serializedScript, flags, checker, metrics, p2shExecdata);
+        if (!p2shResult.success) {
+            return p2shResult;
+        }
+        if (p2shStack.length === 0) {
+            return failure(types_1.ScriptError.EVAL_FALSE);
+        }
+        if (!castToBool(p2shStack[p2shStack.length - 1])) {
+            return failure(types_1.ScriptError.EVAL_FALSE);
+        }
+        stack.length = 0;
+        stack.push(...p2shStack);
+    }
+    return verifyPostConditions(stack, scriptSig, flags, metrics);
+}
+function isPushOnly(scriptBuf) {
+    let offset = 0;
+    while (offset < scriptBuf.length) {
+        const instr = readInstruction(scriptBuf, offset);
+        if (!instr) {
+            return false;
+        }
+        if (instr.opcode > opcode_1.Opcode.OP_16) {
+            return false;
+        }
+        offset = instr.nextOffset;
+    }
+    return true;
+}
+function isPayToScriptHash(scriptBuf) {
+    return (scriptBuf.length === 23 &&
+        scriptBuf[0] === opcode_1.Opcode.OP_HASH160 &&
+        scriptBuf[1] === 0x14 &&
+        scriptBuf[22] === opcode_1.Opcode.OP_EQUAL);
+}
+function makeExecdata(script) {
+    return {
+        codeseparatorPos: 0xffffffff,
+        executedScriptHash: hash_1.Hash.sha256sha256(script.length > 0 ? script : buffer_1.BufferUtil.alloc(0)),
+    };
+}
+class Interpreter {
+    errstr = '';
+    static SCRIPT_VERIFY_NONE = types_1.ScriptFlags.VERIFY_NONE;
+    static SCRIPT_TAPROOT_KEY_SPEND_PATH = types_1.ScriptFlags.TAPROOT_KEY_SPEND_PATH;
+    static SCRIPT_DISABLE_TAPROOT_SIGHASH_LOTUS = types_1.ScriptFlags.DISABLE_TAPROOT_SIGHASH_LOTUS;
+    static SCRIPT_VERIFY_DISCOURAGE_UPGRADABLE_NOPS = types_1.ScriptFlags.VERIFY_DISCOURAGE_UPGRADABLE_NOPS;
+    static SCRIPT_VERIFY_CLEANSTACK = types_1.ScriptFlags.VERIFY_CLEANSTACK;
+    static SCRIPT_VERIFY_MINIMALIF = types_1.ScriptFlags.VERIFY_MINIMALIF;
+    static SCRIPT_ENABLE_SIGHASH_FORKID = types_1.ScriptFlags.ENABLE_SIGHASH_FORKID;
+    static SCRIPT_ENABLE_REPLAY_PROTECTION = types_1.ScriptFlags.ENABLE_REPLAY_PROTECTION;
+    static SCRIPT_VERIFY_INPUT_SIGCHECKS = types_1.ScriptFlags.VERIFY_INPUT_SIGCHECKS;
+    verify(scriptSig, scriptPubKey, tx, nin, flags, satoshis) {
+        this.errstr = '';
+        const sigBuf = scriptSig.toBuffer();
+        const pubkeyBuf = scriptPubKey.toBuffer();
+        const checker = new TransactionSignatureChecker(tx, nin, satoshis);
+        const result = verifyScript(sigBuf, pubkeyBuf, flags, checker);
+        if (!result.success) {
+            this.errstr = result.error;
+        }
+        return result.success;
+    }
+}
+exports.Interpreter = Interpreter;
+class TransactionSignatureChecker {
+    tx;
+    nin;
+    satoshis;
+    constructor(tx, nin, satoshis) {
+        this.tx = tx;
+        this.nin = nin;
+        this.satoshis = satoshis;
+    }
+    verifySignature(signature, publicKey, sighash) {
+        try {
+            const pubkey = publickey_1.PublicKey.fromBuffer(publicKey);
+            if ((0, crypto_1.isSchnorrSignature)(signature)) {
+                const sig = crypto_1.Signature.fromSchnorr(signature);
+                return crypto_1.Schnorr.verify(sighash, sig, pubkey);
+            }
+            else {
+                const sig = crypto_1.Signature.fromDER(signature);
+                const ecdsa = new crypto_1.ECDSA();
+                ecdsa.hashbuf = sighash;
+                ecdsa.sig = sig;
+                ecdsa.pubkey = pubkey;
+                ecdsa.verify();
+                return ecdsa.verified;
+            }
+        }
+        catch {
+            return false;
+        }
+    }
+    checkSignature(signature, publicKey, execdata, scriptCode, flags) {
+        if (signature.length === 0) {
+            return false;
+        }
+        try {
+            const hashtype = signature[signature.length - 1];
+            const rawSig = signature.slice(0, signature.length - 1);
+            const subscript = script_1.Script.fromBuffer(scriptCode);
+            const sighashBuf = (0, sighash_1.sighash)(this.tx, hashtype, this.nin, subscript, this.satoshis !== undefined
+                ? crypto_1.BN.fromNumber(Number(this.satoshis))
+                : undefined, flags);
+            return this.verifySignature(rawSig, publicKey, sighashBuf);
+        }
+        catch {
+            return false;
+        }
+    }
+    checkLockTime(lockTime) {
+        const LOCKTIME_THRESHOLD = 500000000n;
+        const txLockTime = BigInt(this.tx.nLockTime || 0);
+        if ((txLockTime < LOCKTIME_THRESHOLD && lockTime >= LOCKTIME_THRESHOLD) ||
+            (txLockTime >= LOCKTIME_THRESHOLD && lockTime < LOCKTIME_THRESHOLD)) {
+            return false;
+        }
+        if (lockTime > txLockTime) {
+            return false;
+        }
+        const input = this.tx.inputs?.[this.nin];
+        if (input && input.sequenceNumber === 0xffffffff) {
+            return false;
+        }
+        return true;
+    }
+    checkSequence(sequence) {
+        const SEQUENCE_LOCKTIME_DISABLE_FLAG = 1n << 31n;
+        const SEQUENCE_LOCKTIME_TYPE_FLAG = 1n << 22n;
+        const SEQUENCE_LOCKTIME_MASK = 0x0000ffffn;
+        if (sequence & SEQUENCE_LOCKTIME_DISABLE_FLAG) {
+            return true;
+        }
+        const txVersion = this.tx.version || 1;
+        if (txVersion < 2) {
+            return false;
+        }
+        const input = this.tx.inputs?.[this.nin];
+        if (!input) {
+            return false;
+        }
+        const txSequence = BigInt(input.sequenceNumber || 0);
+        if (txSequence & SEQUENCE_LOCKTIME_DISABLE_FLAG) {
+            return false;
+        }
+        if ((sequence & SEQUENCE_LOCKTIME_TYPE_FLAG) !==
+            (txSequence & SEQUENCE_LOCKTIME_TYPE_FLAG)) {
+            return false;
+        }
+        if ((sequence & SEQUENCE_LOCKTIME_MASK) >
+            (txSequence & SEQUENCE_LOCKTIME_MASK)) {
+            return false;
+        }
+        return true;
+    }
+}