トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a63f22d96de854e961a319d067046984eab184ddcc1027b7a4eee4cb313ccd4f OP_CHECKSIG

20a63f22d96de854e961a319d067046984eab184ddcc1027b7a4eee4cb313ccd4fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

340c7c034d785493e04822c145dc0e79a807e1ba50008036d91169731cf777e6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 340c7c034d785493e04822c145dc0e79a807e1ba50008036d91169731cf777e6
2. TapBranch(340c7c03…1cf777e6, 46c7eccf…1725e9fa) = d8912e558ab5891e1eef87c8ab0fbd5b949f02a206656d063e871aed5bffb284

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

d8912e558ab5891e1eef87c8ab0fbd5b949f02a206656d063e871aed5bffb284

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

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

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

b5623a979d6052e16fcb3f5126bffb3069f3c11f1ea210c37344a958785653e934ee5fcaafd77e9a12607327fa0a30040d6ca6352993e862e4da36202d008a9e