トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3ee42c3375ee2d225401ebfa64fc11eb87388630c40c501b83e1a0958ddcb161 OP_CHECKSIG

203ee42c3375ee2d225401ebfa64fc11eb87388630c40c501b83e1a0958ddcb161ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

74d87ce83fa943281aeb953b6af15e787b85289c17adc891fa0f769ff259be30

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 74d87ce83fa943281aeb953b6af15e787b85289c17adc891fa0f769ff259be30
2. TapBranch(74d87ce8…f259be30, 46c7eccf…1725e9fa) = a68b46ea8ffa28e37d8802a85eb8561df04b3efceda57af3315699621446e48d

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

a68b46ea8ffa28e37d8802a85eb8561df04b3efceda57af3315699621446e48d

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

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

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

59e9b348cc9fb6ea19e41676899697a21514a9e9445f58a8fb51a1ec3261b294dec940c41f2eb01637125ef60a71478bf1bbef3f57f18f5995585ccc3de85581