トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d94ea5475fbff5fe482041e75ab00f66441b8e3c63bf3a91090d57c5326d2260 OP_CHECKSIG

20d94ea5475fbff5fe482041e75ab00f66441b8e3c63bf3a91090d57c5326d2260ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

57333296aeb8f2b0117b1322027425549af48b1573f1b53859ccea25db7dbf15

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 57333296aeb8f2b0117b1322027425549af48b1573f1b53859ccea25db7dbf15
2. TapBranch(57333296…db7dbf15, 46c7eccf…1725e9fa) = 3e930eca603b0e03cad536ca52d6b94946df0ccc8cdb91bd75b97604e2cdf4c7

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

3e930eca603b0e03cad536ca52d6b94946df0ccc8cdb91bd75b97604e2cdf4c7

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

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

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

eed20f1b9095f87e21fc0371e265574f0f0836baac25aaaa5d497082db29735eba555fc6d11883761a68455007029eb888f5f4fbe9179b1a8936d6b962aeb2d8