トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

33aafe7ddea57ab035c28c782d0c52eb7dbd7b332f39a86bb91a1eb7a6798cec OP_CHECKSIG

2033aafe7ddea57ab035c28c782d0c52eb7dbd7b332f39a86bb91a1eb7a6798cecac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bd3569a177d93ca15efc0bf3150d6e654594a47d764d48c3c9cd4b908fe7fae3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bd3569a177d93ca15efc0bf3150d6e654594a47d764d48c3c9cd4b908fe7fae3
2. TapBranch(bd3569a1…8fe7fae3, 46c7eccf…1725e9fa) = 008b8b16b582e99235999036cb29ef73cce292069ca82a04e3555df9e1fb3f1a

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

008b8b16b582e99235999036cb29ef73cce292069ca82a04e3555df9e1fb3f1a

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

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

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

297bdf900598df3c6bd95e8bd17b6941dbf62ab301ded2d42c3c533dead92fb30cff985f99d37f6582a6a8bd5b470e5704450186632820b219dc24b74e8b277c