トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

815e56fe509d3333e0916fddb84ac7bed0d40dddfbb2d2341ae6efba5638df1c OP_CHECKSIG

20815e56fe509d3333e0916fddb84ac7bed0d40dddfbb2d2341ae6efba5638df1cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

14b3683aaf6bf58391b6d82c3d99608592526747c272cd8a21957c7cb64b3f91

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 14b3683aaf6bf58391b6d82c3d99608592526747c272cd8a21957c7cb64b3f91
2. TapBranch(14b3683a…b64b3f91, 46c7eccf…1725e9fa) = 9e4602969d7ab9fffe12395638dbf722ef998af02e4aea5eb633d7409cfe8f1f

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

9e4602969d7ab9fffe12395638dbf722ef998af02e4aea5eb633d7409cfe8f1f

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

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

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

2c22a9d8dd1b87c5f75e10e84b8bd479ab425c57d116cd61815aa3b26ca0abe4cd3fd85c2d5b20170f5e7559a77c78f07ae1accec4d7cde0493b17e707e7b390