トランザクション

入力 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 以上）。

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

9c5f04c8952655b22c357caf272977ec26015839275ec44b279127f3394857fd92ed57e146cba9bdc3eadffaa487aa4a34c5da4a29604452b4c1f0b2164f8be4