トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

71f23bc7fe584eb03e526aa5c6fd8b77777a1a09357cf327edf85ea5289cf8ec OP_CHECKSIG

2071f23bc7fe584eb03e526aa5c6fd8b77777a1a09357cf327edf85ea5289cf8ecac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8b90909e28ad3d341e64c6268e4fc6334bcaed6e2df68666fb93d9a405cb9066

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8b90909e28ad3d341e64c6268e4fc6334bcaed6e2df68666fb93d9a405cb9066
2. TapBranch(8b90909e…05cb9066, 46c7eccf…1725e9fa) = 3ac35febcb6d61eac1af5f0e08a14a671510c8b0d7276cc853c27d48a04dd5df

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

3ac35febcb6d61eac1af5f0e08a14a671510c8b0d7276cc853c27d48a04dd5df

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

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

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

c1e98a8c9c2132c71358b83ace058e5541da4c0fd79bb263edf0e2fbb397249c94d4ead2cf9044692651ab8f7761164b1bb7934038111f4f52bdff42b955c47f