トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5ca74fdc199dde3c4af511ad8e42599cdb12a1e2f260aa56ad4485ed4c18eb10 OP_CHECKSIG

205ca74fdc199dde3c4af511ad8e42599cdb12a1e2f260aa56ad4485ed4c18eb10ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

515b4b89db1f0c98005273d54fe16e26e56749368a03d3ef64d9075bfbc84bfb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 515b4b89db1f0c98005273d54fe16e26e56749368a03d3ef64d9075bfbc84bfb
2. TapBranch(515b4b89…fbc84bfb, 46c7eccf…1725e9fa) = 9fe6506f1e2efd822b736697f761a8df112cc56d8f6f407cd0329fec2a869a2c

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

9fe6506f1e2efd822b736697f761a8df112cc56d8f6f407cd0329fec2a869a2c

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

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

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

ad9d5e81c30e3dbb521f3effd08e92256601419146c44b287e5ef39e55749ff2c93f5a278553cb328db3cef7ae65e2b7602d3dfd030059dea778edc72c811b18