トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

568ad1c9f87e02c39da83f624a81e503a7712c9f30a8ba54291970aa75be024f OP_CHECKSIG

20568ad1c9f87e02c39da83f624a81e503a7712c9f30a8ba54291970aa75be024fac

コントロールブロック

c1026591050d0fdc232be3ae5ea3816ed5e0818d3e6b54922f388af401b9f2f1b4 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

026591050d0fdc232be3ae5ea3816ed5e0818d3e6b54922f388af401b9f2f1b4

リーフハッシュ（TapLeaf）

1444a19971af1cefa0e1633141b88c3f5cafacbdd2dcce5a4bc3017d80b99f4d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1444a19971af1cefa0e1633141b88c3f5cafacbdd2dcce5a4bc3017d80b99f4d
2. TapBranch(1444a199…80b99f4d, 02659105…b9f2f1b4) = f3e020fd2211201e5d77481409359eef7835eeeacf8c155f91865db9bcb689e1

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

f3e020fd2211201e5d77481409359eef7835eeeacf8c155f91865db9bcb689e1

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

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

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

92385236023327de76bf6a1d58ca47101a4ac547ec0aded27e11f494ffdc5a735f19ff96c00695e45b777f2085ecdfb9c2d7d0ef598e2f323ce656e152a3ed59