トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0a4ee2612622d33f33dd343508d824d985466b5740f6da7958fe33cdb1ee245c OP_CHECKSIG

200a4ee2612622d33f33dd343508d824d985466b5740f6da7958fe33cdb1ee245cac

コントロールブロック

c14f56ed255fd6ec6a8dd15dfafb84d890a7b380d3778941a96143bac5371b2162 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

4f56ed255fd6ec6a8dd15dfafb84d890a7b380d3778941a96143bac5371b2162

リーフハッシュ（TapLeaf）

75083b20d098f13d7d4e2be3a232d7f8c39ab2d16a39ce703eba0776e0651ef6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 75083b20d098f13d7d4e2be3a232d7f8c39ab2d16a39ce703eba0776e0651ef6
2. TapBranch(75083b20…e0651ef6, 4f56ed25…371b2162) = 86f621d8fe00ef8f011eb16bd69942600316e2aa67f13547eac7c4836b9c607c

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

86f621d8fe00ef8f011eb16bd69942600316e2aa67f13547eac7c4836b9c607c

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

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

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

61feb22d71eaf5c6d4aac7014313e8e9e0a7304784d5b449b8517357921b5b244208df6c431a3ff2d7f60b6a099f94700679b86b9953b6d8aba7cb3f325ba5b6