トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

03f1807a1c8bea1762482b1ed88df44b28f08e016771795918947c1c38063565 OP_CHECKSIG

2003f1807a1c8bea1762482b1ed88df44b28f08e016771795918947c1c38063565ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ce9d14f0b0eedbc0bcb41846591250732c34ab4953734eb7cbb6ac03c8becedf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ce9d14f0b0eedbc0bcb41846591250732c34ab4953734eb7cbb6ac03c8becedf
2. TapBranch(ce9d14f0…c8becedf, 46c7eccf…1725e9fa) = 3a34ac8d17dac59943f33af33f1a0007ea544f0f666dacd1197aba6dfbba7841

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

3a34ac8d17dac59943f33af33f1a0007ea544f0f666dacd1197aba6dfbba7841

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

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

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

da77e44b8f9030ac3dd16aad5adde627804803d64bad0d0b23b591c564746dc28c43ca72d9935fc6748b4d73bf80eb57cc7b043afc82bd512dc1aea85b5d177d