トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f0f425b8768732df328a5fd3b7756c81d160107dcc8739d68a31ac6dcddcd58e OP_CHECKSIG

20f0f425b8768732df328a5fd3b7756c81d160107dcc8739d68a31ac6dcddcd58eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6d0b29ab5d70946eca3cd285f4ac7d23fd42508319a198db13184bb32d5d5af7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6d0b29ab5d70946eca3cd285f4ac7d23fd42508319a198db13184bb32d5d5af7
2. TapBranch(6d0b29ab…2d5d5af7, 46c7eccf…1725e9fa) = c3c4f3fd7aea9bcabbc952c861883b56bb37622d0d87911e8defa79ea4ea8157

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

c3c4f3fd7aea9bcabbc952c861883b56bb37622d0d87911e8defa79ea4ea8157

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

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

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

5fb670f9fc93b6ee19eb4f1ed702fc3a17803ff5d7c1c8520c4baf0865a3c2f699de35f0db32469b64e1d39c0c69281f02f4c197f82143f605cd5e0cc2802a96