トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

58843e0524a53a9c76a9d4f2e6927249e34e6ccfbdcfa7dd4a31a7369800c132 OP_CHECKSIG

2058843e0524a53a9c76a9d4f2e6927249e34e6ccfbdcfa7dd4a31a7369800c132ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e5e65f80c7ecf20596c3cc032424130c097ae992273a2c04d7fda98dd0145908

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e5e65f80c7ecf20596c3cc032424130c097ae992273a2c04d7fda98dd0145908
2. TapBranch(e5e65f80…d0145908, 46c7eccf…1725e9fa) = 4634c042b680652663cf3d01262d0322a6f9e6a2c3a6a81715e78e1407690f70

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

4634c042b680652663cf3d01262d0322a6f9e6a2c3a6a81715e78e1407690f70

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

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

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

e6c9347b849d64dcb429314a002d08b1776ad1475371cbad2e845a7dba25b145f8cfabb79b8a0d9f61f54d0dbf52eddbc1ae90a3a3d0c090da9d9f25f4b15975