トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0d31889e72c21d5c6d894f3b80bb31a7a29243096a7607b7ef81ab0912b26be3 OP_CHECKSIG

200d31889e72c21d5c6d894f3b80bb31a7a29243096a7607b7ef81ab0912b26be3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bab7f004c4bf252e4e3d2ab7f207e05b803e29bba8509310a53d22d8f62a3b0d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bab7f004c4bf252e4e3d2ab7f207e05b803e29bba8509310a53d22d8f62a3b0d
2. TapBranch(bab7f004…f62a3b0d, 46c7eccf…1725e9fa) = 3e1032b976a0fb5f4d209bd8fd0350036e1f04fa8d02a9a014b67864fd9bc263

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

3e1032b976a0fb5f4d209bd8fd0350036e1f04fa8d02a9a014b67864fd9bc263

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

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

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

3905b80e93ee81ebf54c32fc208c369e98708ac3af18aedb6213e09f84ceae9fe7110c90886be8ff42b8bca7ba969602a141e4e0c04527c907b0764326936a98