トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

584227a00771c3fd7a02f347542a4db1bff4de372ef2570a17414d248004e641 OP_CHECKSIG

20584227a00771c3fd7a02f347542a4db1bff4de372ef2570a17414d248004e641ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

359a1e020f8e83ad339f6277f14cb47a4ec5c5900b8449321fc624508954a1a4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 359a1e020f8e83ad339f6277f14cb47a4ec5c5900b8449321fc624508954a1a4
2. TapBranch(359a1e02…8954a1a4, 46c7eccf…1725e9fa) = 313a745b9bf7167fa60772455cb0a2c5313ac72048bf1a4f17e803887b4df43b

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

313a745b9bf7167fa60772455cb0a2c5313ac72048bf1a4f17e803887b4df43b

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

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

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

5de7e6c48e9aaf59db800e7b06565a8e6cad5b534e089202ac9a435f05248af02d3f593d7aa004b29139abc2a49a078e7aaaefb3abae3a82b2ef88e99c6af380