トランザクション

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

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

1835aaf01663dd019f58cafa08a61b8b5eb77cb3ca926ef3e6c28706301bcf7d30525c5bb5b6540204e9e15b6d85f22fb424f5fa852e9a9a243e949a5ad5521e