Function verifyFullTransaction

packages/cashscript/src/debugging.ts:373–391

(template: WalletTemplate)

// After debugging, we want to verify the full transaction to ensure it is valid (this catches any errors that are not
// necessarily script errors)
const verifyFullTransaction = (template: WalletTemplate): void => {
  const placeholderScriptId = Object.keys(template.scripts).find((key) => 'unlocks' in template.scripts[key]);
  const placeholderScenarioId = (template.scripts[placeholderScriptId ?? ''] as WalletTemplateScriptUnlocking)?.passes?.[0];

  if (!placeholderScenarioId || !placeholderScriptId) {
    throw new Error('No placeholder scenario ID or script ID found');
  }

  const { vm, program } = createProgram(template, placeholderScriptId, placeholderScenarioId);

  const verificationResult = vm.verify({
    sourceOutputs: program.sourceOutputs,
    transaction: program.transaction,
  });

  if (typeof verificationResult === 'string') {
    throw new FailedTransactionError(verificationResult, getBitauthUri(template));
  }
};

const isSignatureCheckWithoutVerify = (instruction: AuthenticationInstruction): boolean => {
  return [Op.OP_CHECKSIG, Op.OP_CHECKMULTISIG, Op.OP_CHECKDATASIG].includes(instruction.opcode);