トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1f5eebe899346c998843b8c9f4dba6fb821d2316fea856b27b7c214ac1c870f3 OP_CHECKSIG

201f5eebe899346c998843b8c9f4dba6fb821d2316fea856b27b7c214ac1c870f3ac

コントロールブロック

c1ca3e6eb28676580b5dccd757a74c78cbcc21e9f0a7bf8187c4bad5456e09b529 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

ca3e6eb28676580b5dccd757a74c78cbcc21e9f0a7bf8187c4bad5456e09b529

リーフハッシュ（TapLeaf）

3aaf5519f01a0cc0e0c92590f23c51beb5460df3414a7a0ad44b9eeb9cc17135

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3aaf5519f01a0cc0e0c92590f23c51beb5460df3414a7a0ad44b9eeb9cc17135
2. TapBranch(3aaf5519…9cc17135, ca3e6eb2…6e09b529) = 85212314df0d61987e189aea433b045d7fad7dfa43f2f0a54a637b7cf0b0a8e7

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

85212314df0d61987e189aea433b045d7fad7dfa43f2f0a54a637b7cf0b0a8e7

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

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

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

e08e3f0436b43b09da01a8daa1a625fe509f3bb3b0d54a2d7f1a96ca567c5fc16c24f7729e968aae6a082e5ad14df46e5238e1f576a5a446417094b467bd03cf