トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

55ebd661c94a0934cd7812e21e35b606b305edb3027d0e5b6394ca57a5a8d5cb OP_CHECKSIG

2055ebd661c94a0934cd7812e21e35b606b305edb3027d0e5b6394ca57a5a8d5cbac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

121d2776e8902d976e80b07a3953316501609262a43d68fd03132a6536fb4cd8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 121d2776e8902d976e80b07a3953316501609262a43d68fd03132a6536fb4cd8
2. TapBranch(121d2776…36fb4cd8, 46c7eccf…1725e9fa) = 6bbf8f7c0ec541e6e4ea51baf75f0182f11c857bbf7b24d0170e051e2ffb9215

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

6bbf8f7c0ec541e6e4ea51baf75f0182f11c857bbf7b24d0170e051e2ffb9215

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

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

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

33652b247c8d57db5fe2608e6b79f19484d22cd278e624f11b01820182ed8bd098047c939bdaa874a81efde1f3fe27ee21c5345edbeaf35f6395f0aa51a5b467