トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2c96ce2c7f12b25d0c8683da023aedac580f19b996db67d3f0b4140d667cfdd7 OP_CHECKSIG

202c96ce2c7f12b25d0c8683da023aedac580f19b996db67d3f0b4140d667cfdd7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

82ca17c0010a82600f53c121921c01599c4b0319ea27c83f84ac6baa9ef275b0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 82ca17c0010a82600f53c121921c01599c4b0319ea27c83f84ac6baa9ef275b0
2. TapBranch(82ca17c0…9ef275b0, 46c7eccf…1725e9fa) = 1de47137f837442eace7c831735a62dccb011ff5a6562d40bca63d939019b632

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

1de47137f837442eace7c831735a62dccb011ff5a6562d40bca63d939019b632

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

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

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

01bb714e390cc3b9d0e544b55a49d19fdae5c98d54fa7c9d3e7f0cde6876f57a5208729d26ca9fd8da4a09ec71fb839f380ef4681130c3a174d936cb336d8e4f