トランザクション

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

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

851df3bd040759258dafe6c22a2a4da34c6c313c236143a572b892697a8bdd4fb75c9fbf50debc9b42674214f84b0d2db0514dd5786519ad98287ccf1817670d