トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

07a2d4456c8797ea936fb9f405a627cfe7af759c905b26a0b94175aa114c150c OP_CHECKSIG

2007a2d4456c8797ea936fb9f405a627cfe7af759c905b26a0b94175aa114c150cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

aa4f43b3f81a30d84aa62202089fc6b1ae53be47091e72997c5b404701cb3935

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = aa4f43b3f81a30d84aa62202089fc6b1ae53be47091e72997c5b404701cb3935
2. TapBranch(aa4f43b3…01cb3935, 46c7eccf…1725e9fa) = 94eca6c64c2b48111e38da481a6e7e8779dd9cba41b8e2059a5c7ff73303395f

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

94eca6c64c2b48111e38da481a6e7e8779dd9cba41b8e2059a5c7ff73303395f

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

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

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

ebed192304bf87ce18ff2455b1c44092a8fc119d699fb61df6ec84d37e87a69ca6fafb8ee9f9d524afeb9cf454477034ec1f4abe4b3ce581334efad1b4fd9242