トランザクション

入力 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 以上）。

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

fe7fd64246e65db6e181d99fa9d02db9032625b5f5c8b3d12dbb6e50d0d5cadcae21241525dd0536c8656c66bd898962f30a8d9e45d388d30277a3a76536b0a7