トランザクション

入力 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 以上）。

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

ccc83d2d21187b258ff66bcd9e63a4b8c94d997fecc9e31aa3d9380d3001cae38aefacbfa7979b9fa68ac9ddc7aebb3da7da1dd8dd35a459ad52861406378982