トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f2e41352674ffc11ce7fee69009290056592d99d1156cff7bb06b0931dfc2584 OP_CHECKSIG

20f2e41352674ffc11ce7fee69009290056592d99d1156cff7bb06b0931dfc2584ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b08ed0f194bd3a57a84abecca6295db917bb9c19c36179327d74a65fbf817e3e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b08ed0f194bd3a57a84abecca6295db917bb9c19c36179327d74a65fbf817e3e
2. TapBranch(b08ed0f1…bf817e3e, 46c7eccf…1725e9fa) = b1953495ce3de86f8363b538708db3aca112f5445cdcba7c68753fa9a6ac83e0

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

b1953495ce3de86f8363b538708db3aca112f5445cdcba7c68753fa9a6ac83e0

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

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

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

47ce4a13b7e7f919292f647480a3bcfe28ded966c6bcabf49c7fc7622d3d3d32f31421da1d30e445c6ca3df752ef2b1672468a078276e81b2a18a07764483f07