トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e44878640c87c432aa23f3d722fd49d937874d5c292e971fadfabbe17736c952 OP_CHECKSIG

20e44878640c87c432aa23f3d722fd49d937874d5c292e971fadfabbe17736c952ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

006bd5e9e6b1916821cfc21b5c2cde4f42b1f5bbeb55c03e7025d30a9a5728fd

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 006bd5e9e6b1916821cfc21b5c2cde4f42b1f5bbeb55c03e7025d30a9a5728fd
2. TapBranch(006bd5e9…9a5728fd, 46c7eccf…1725e9fa) = 1588e50b3e4ef65f53682766dd030cf9f3b515612ab1b95de5edc778b142d23c

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

1588e50b3e4ef65f53682766dd030cf9f3b515612ab1b95de5edc778b142d23c

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

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

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

c00ad65cc0bc8e03f7db1fe7548b1f65a5bf826fad3fd5401fb38773f5464636befe74e551c3367e957829d96a59b93969f124523f3162dd3458929bfc3578fe