トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9844eee07a03b0a6254a611c660d46d20fe41f75bccd180c17e742b0c1cbfaaf OP_CHECKSIG

209844eee07a03b0a6254a611c660d46d20fe41f75bccd180c17e742b0c1cbfaafac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3c59c1bf4c3adf605845a3ea02c178c726183db28e5917871d838de2f96fbb3f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3c59c1bf4c3adf605845a3ea02c178c726183db28e5917871d838de2f96fbb3f
2. TapBranch(3c59c1bf…f96fbb3f, 46c7eccf…1725e9fa) = 388ce7dd91b7eebcfc757b95ab858311cf2e4f4456f09b46f3a9878fd2d35b5b

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

388ce7dd91b7eebcfc757b95ab858311cf2e4f4456f09b46f3a9878fd2d35b5b

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

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

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

48b9b0e693164cd6e40b06ad8b06026e052ac5cb46c241ffac13a46b63f454dc0383c4993577a91b553eaccf44802f44bb6a3c78ceb1c7bece7cc5bc721feb13