トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3ffe4396fe6bd8b5e4ae1ec404e93559e2013f6d42c93b4dfda8a3bb51cd2782 OP_CHECKSIG

203ffe4396fe6bd8b5e4ae1ec404e93559e2013f6d42c93b4dfda8a3bb51cd2782ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

340905521277ec3ab3accd23b1ea87afc6783e303548da82df46d2a30e54c04a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 340905521277ec3ab3accd23b1ea87afc6783e303548da82df46d2a30e54c04a
2. TapBranch(34090552…0e54c04a, 46c7eccf…1725e9fa) = 817344d2e4e2fb65239f31903b99f2fd1f21446d4fc82d94701b203a2f31d35e

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

817344d2e4e2fb65239f31903b99f2fd1f21446d4fc82d94701b203a2f31d35e

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

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

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

e527b86d398767b100a98aa0a32a682c7ac9dd8130188017f5310446f6901343153844e08ea43c04727365072cc24e77d81ea2313e7b4bec09f17184db54baf1