トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bce0f4ca8bbdc23631ffe1f3b19ff0a29f58bda0ffaffe53b720ecc7776f3cd1 OP_CHECKSIG

20bce0f4ca8bbdc23631ffe1f3b19ff0a29f58bda0ffaffe53b720ecc7776f3cd1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9441074148df06afad2874e5b5c42e0906c2368840acaa1bdfb2173dae65b0b1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9441074148df06afad2874e5b5c42e0906c2368840acaa1bdfb2173dae65b0b1
2. TapBranch(94410741…ae65b0b1, 46c7eccf…1725e9fa) = e4efbe13689ab9d89c7a43b1777b446abf25e18abe1dda18ce9f8cd3f7b783c6

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

e4efbe13689ab9d89c7a43b1777b446abf25e18abe1dda18ce9f8cd3f7b783c6

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

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

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

61ba02a41346d09439f9ce71e03ce333b87d8fdbc9a415a324d3b5ab6fd16ae21059b3d330e92b043907f584dbf3c57070d9e7ec8ea67d414e03cd208824792c