トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f0dbc64ac0eb94012cc0729619c5b7136c2bd84b020208ed5ad0a8fa5fceb8f7 OP_CHECKSIG

20f0dbc64ac0eb94012cc0729619c5b7136c2bd84b020208ed5ad0a8fa5fceb8f7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6fb1454b1cb6141c4980783d3bbb67c40bc5aa0fe59a27aba923a94b17e4ca9d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6fb1454b1cb6141c4980783d3bbb67c40bc5aa0fe59a27aba923a94b17e4ca9d
2. TapBranch(6fb1454b…17e4ca9d, 46c7eccf…1725e9fa) = b5d09422de9e8b7b5eaa2488ee9e060cca24308478ad8f06ee42ca2c6de41d0a

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

b5d09422de9e8b7b5eaa2488ee9e060cca24308478ad8f06ee42ca2c6de41d0a

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

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

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

72bb0b55aba7c96d59206c3e50c3619f10813979373f4d7890ddd276015b3158f4035736023ea9cca471632ccc517893b8d2debcf707eb23e0f5e14cd6e4e16c