トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

92bdb946a2438e9c7ac847080f514660efd1c74f87dcd7c9d75cffc33cb8e612 OP_CHECKSIG

2092bdb946a2438e9c7ac847080f514660efd1c74f87dcd7c9d75cffc33cb8e612ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

cc5790a6e120935dcc8c8ed256bcc2b6ee39bdf5d9c61277530cb08636539106

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = cc5790a6e120935dcc8c8ed256bcc2b6ee39bdf5d9c61277530cb08636539106
2. TapBranch(cc5790a6…36539106, 46c7eccf…1725e9fa) = 4b053500953be0475855ef6d9a87d2a3120782429cc459f39bb4fa18628eea57

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

4b053500953be0475855ef6d9a87d2a3120782429cc459f39bb4fa18628eea57

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

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

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

0c1dbfe3397c3e90d67c89ff694de952c1e2892440688869dd82d1848c889562bd66c81834c5b6a9ae78c6dffc16f1ffd3834833383df18cbd40b833682a445d