トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4f9f9bf9dd3f5be00e01253d0d2bffa200e67c4d47f54bc7cafdcb184ae5992b OP_CHECKSIG

204f9f9bf9dd3f5be00e01253d0d2bffa200e67c4d47f54bc7cafdcb184ae5992bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e2ad2b5e90a72c738836641b749848f62f0072bfc51a6de605b00ca0a8fdf995

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e2ad2b5e90a72c738836641b749848f62f0072bfc51a6de605b00ca0a8fdf995
2. TapBranch(e2ad2b5e…a8fdf995, 46c7eccf…1725e9fa) = 74e42d74e9472b0895b2a6564aeeea3ca986e4a084b26ae124af6a6fd2c33c8e

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

74e42d74e9472b0895b2a6564aeeea3ca986e4a084b26ae124af6a6fd2c33c8e

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

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

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

47dd6ad28ffc7228515cb6329a5bd6144e24024c872b8a792a1379874743a793222e1705b2ea41d1c28691f55d41adfd2d36828c1f2e3eba9a435b370b4fa552