トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9c034f928bfc5e3f239f5fbbea4b60ee207523d154b3ba0436bfda9fae38f5e8 OP_CHECKSIG

209c034f928bfc5e3f239f5fbbea4b60ee207523d154b3ba0436bfda9fae38f5e8ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2d2bc1e6f54be788c089878d1daf93fe12d2b1badfa98439e1e47f4ceb8b5843

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2d2bc1e6f54be788c089878d1daf93fe12d2b1badfa98439e1e47f4ceb8b5843
2. TapBranch(2d2bc1e6…eb8b5843, 46c7eccf…1725e9fa) = 4fe5f52f6d2e1ad515f7a05e833e921f8e83026fcb447ac84d5217d2d6bdb49c

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

4fe5f52f6d2e1ad515f7a05e833e921f8e83026fcb447ac84d5217d2d6bdb49c

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

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

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

4d6bc9bc12907fa406ee4c475420b252954987a7988176e8fc792b7f1537aebee45a838e9eb49f313317aa126c70ec88343153217a9a9f961f62396ffd7750d3