トランザクション

入力 0 の P2MR スクリプトパス支出

ノードはこの支出を次のように検証します：公開されたリーフをハッシュし、コントロールブロック内の Merkle パスをたどってルートまで計算し、そのルートが出力の 32 バイトのウィットネスプログラムと等しいことを求めます。このページでも同じ手順で計算し直しています。

リーフバージョン

0xc0

リーフスクリプト

1198fc07526aab123c66506e91e49089218c2aa05bb03da349f7548a8803609b OP_CHECKSIG

201198fc07526aab123c66506e91e49089218c2aa05bb03da349f7548a8803609bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

コントロールバイトの最下位ビット

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c3dc70483ca6ebb2d1cac7c12572dffd8722f14d06fdc1fda52a4ea37886a558

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c3dc70483ca6ebb2d1cac7c12572dffd8722f14d06fdc1fda52a4ea37886a558
2. TapBranch(c3dc7048…7886a558, 46c7eccf…1725e9fa) = 2a38ee8b64104d2fde655c278d23be2a9ae7ffeb559f743b06e7f2e02f08f979

出力のウィットネスプログラム

2a38ee8b64104d2fde655c278d23be2a9ae7ffeb559f743b06e7f2e02f08f979

✓ 一致：公開されたリーフは、この出力がコミットしているものです。

リーフスクリプトは実行されました（リーフバージョン 0xc0、深さ 1 以上）。

スクリプトに渡されたスタック要素

00baf8c3bfc3766a585475b83b518898baa0d118123f8f23857bf83128c405c545b9d53417d64a23a56fc345afecb186c78472a6f3a5fc9d2723514897104d89