トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bfbc0339b81fd8ceea44de9d0917b7a8623e45a3442d7bdcf4663370a96679d8 OP_CHECKSIG

20bfbc0339b81fd8ceea44de9d0917b7a8623e45a3442d7bdcf4663370a96679d8ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5728e18f2a1f84e6c722f47885bbbdcbd751cb202925a7941817127a22f7e766

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5728e18f2a1f84e6c722f47885bbbdcbd751cb202925a7941817127a22f7e766
2. TapBranch(5728e18f…22f7e766, 46c7eccf…1725e9fa) = 60508af7e10e04e55a469f7e5f668176eec96f3e1ff9e5f6daea64d3d846c527

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

60508af7e10e04e55a469f7e5f668176eec96f3e1ff9e5f6daea64d3d846c527

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

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

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

79992d520226ca9ec114d094d42e4fd433d7524aef447fe9d402816518c63b85624edcb7193c4338e02c9a02a8ff09c64e3052d5d37bad6bb80e82279d83ba29