トランザクション

入力 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 以上）。

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

7f2a135c86c0308c7e5681961069b76d327c872624249e437f026ee81ecea9cd96be80bf33c18fe571aaa59c305b7a909d0f85f9d103afc6e542b48047257fbc