トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c4a4470fd0525023d9c35363243754b140e0b22fe31c611cc4cfd63e8d5b90aa OP_CHECKSIG

20c4a4470fd0525023d9c35363243754b140e0b22fe31c611cc4cfd63e8d5b90aaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

81bce4ff411c325d42c1a09e66682d1745734e23c61fb654a6779ee3a0c21186

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 81bce4ff411c325d42c1a09e66682d1745734e23c61fb654a6779ee3a0c21186
2. TapBranch(81bce4ff…a0c21186, 46c7eccf…1725e9fa) = 1339a9ab786ff71f83eecc69efb9738a82158c9fdda07528066ca420301d1dcf

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

1339a9ab786ff71f83eecc69efb9738a82158c9fdda07528066ca420301d1dcf

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

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

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

c7a891bc6ba914cfefb8a872e680c973ee007bfc32df8666a5382cab92103783f6b5ba8094fa1eb9193cef359ca86a2a47da0a28256a7d070a74017929a28376