トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2a33a356a9c1ebe22ff7a107f2d1671e8daa0e7b355a6d2a7d2c45bbda5295d5 OP_CHECKSIG

202a33a356a9c1ebe22ff7a107f2d1671e8daa0e7b355a6d2a7d2c45bbda5295d5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

202358817be2577a383eef3cb3831f50e13f6f6c68194fe4ea4f815014948b08

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 202358817be2577a383eef3cb3831f50e13f6f6c68194fe4ea4f815014948b08
2. TapBranch(20235881…14948b08, 46c7eccf…1725e9fa) = 9dee09cdb6b09cc6fee408c3de805ef34ef86a59100ed7e8e742c9a9571f8329

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

9dee09cdb6b09cc6fee408c3de805ef34ef86a59100ed7e8e742c9a9571f8329

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

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

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

46bf510c03bdaab31c62261fc34f154a00675570364634f883d9d02b9fa0a50907858c8d2c6f5dde4fc3b84966fb454220b0ead3851140f31ca3b252e234457a