トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1a1978030fc3fd8a3738f81014e34a20b6bb40c1b87dbae9c59273cbd7bbaf79 OP_CHECKSIG

201a1978030fc3fd8a3738f81014e34a20b6bb40c1b87dbae9c59273cbd7bbaf79ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

eb945262312f0e8fd803efd65b5ec1ce67f8776cc504d0c55d8769a6efb61ea7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = eb945262312f0e8fd803efd65b5ec1ce67f8776cc504d0c55d8769a6efb61ea7
2. TapBranch(eb945262…efb61ea7, 46c7eccf…1725e9fa) = b72ed53a4616ccb92daef30ffa18bbdd8cac01a4651287bef2aa3830ebd9c7e0

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

b72ed53a4616ccb92daef30ffa18bbdd8cac01a4651287bef2aa3830ebd9c7e0

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

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

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

5bde77e81c4341c0af39c52b37952fe94dd659ff7b34d2ea59538f4a6fd7fb25b8904f2af8fc3b234ea41ddad3f376fc312135024dcae2abe5987b171b1bf87f