トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4fe5d19c900cdc7bfc2a85fd6ab0a3056a1dba8cd6dc90cc1b9531190df1ab9c OP_CHECKSIG

204fe5d19c900cdc7bfc2a85fd6ab0a3056a1dba8cd6dc90cc1b9531190df1ab9cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

69eb267e2f7f2810c21ade66aad45d854f099dbea56890751a318a44ca56b653

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 69eb267e2f7f2810c21ade66aad45d854f099dbea56890751a318a44ca56b653
2. TapBranch(69eb267e…ca56b653, 46c7eccf…1725e9fa) = 9a969a26beda57a5e3fabccad88a35628e77704edd134029672625a2ae2de429

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

9a969a26beda57a5e3fabccad88a35628e77704edd134029672625a2ae2de429

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

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

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

585cfd4bb59e3a3f3701122783fd355b3a3d5fe4fb6c7d9c2ee113ec64697b49a22a55149ef33a8a968efb8ca773e3ab3713cb71a7466f327014ee08eec4adef