トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

35b51f039bdb82c4d7edea0dc42355be5f3fb1c9dd2de8faade30d10eccb69cc OP_CHECKSIG

2035b51f039bdb82c4d7edea0dc42355be5f3fb1c9dd2de8faade30d10eccb69ccac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b53a18d2460e955a0d51c6391b9372a5ccd6e482693bbf260a8b4fcda736b1a9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b53a18d2460e955a0d51c6391b9372a5ccd6e482693bbf260a8b4fcda736b1a9
2. TapBranch(b53a18d2…a736b1a9, 46c7eccf…1725e9fa) = 72b692478bd3d98f8772f5c0c83a80fa0918490ead80a4354d87247c465e2457

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

72b692478bd3d98f8772f5c0c83a80fa0918490ead80a4354d87247c465e2457

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

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

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

624cb6a86be1370403f119cf787b28a363f6f3dd0a78b4b1eb4059253772c2ee4b91baf6073dcce55465afb340c04b698ca1e17cfa13b12484da4440e2108bf8