トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2b0e16a3459339c37831f356bb0e92dfb69cd28b1266c2746e2168de2b6b1d73 OP_CHECKSIG

202b0e16a3459339c37831f356bb0e92dfb69cd28b1266c2746e2168de2b6b1d73ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0cfc38d7d49c59c7276fe4a1d511e14d8f1af956c7d0bfbfc3a66d6fe7d7c412

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0cfc38d7d49c59c7276fe4a1d511e14d8f1af956c7d0bfbfc3a66d6fe7d7c412
2. TapBranch(0cfc38d7…e7d7c412, 46c7eccf…1725e9fa) = 81bf129b78570365f4e4981db5430db07f835a5bf30aefd0b6902aa03a26972b

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

81bf129b78570365f4e4981db5430db07f835a5bf30aefd0b6902aa03a26972b

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

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

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

572b692740794eb79c944c6eabd32ec9b59324f13246e223d42dd72964ceec1e137cc2f0558c979808569486b1d90f084d60b1608efbff6e9c7040be35b0a2c9