トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3c8f9debd8f21f28ce513c734c74e3ec6521bcbb67c029e4339b7c1f97b3a2d4 OP_CHECKSIG

203c8f9debd8f21f28ce513c734c74e3ec6521bcbb67c029e4339b7c1f97b3a2d4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8871535510864cb23bc842557c4b1bddfbd04a3bc5ba941c0676f06b7d895058

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8871535510864cb23bc842557c4b1bddfbd04a3bc5ba941c0676f06b7d895058
2. TapBranch(88715355…7d895058, 46c7eccf…1725e9fa) = f82ce5699421b86d4fc6772323ee1ed27a3b32c0de0e227c517b2c2d69b7c986

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

f82ce5699421b86d4fc6772323ee1ed27a3b32c0de0e227c517b2c2d69b7c986

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

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

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

e710ac7049f4d3dc4e55887d94469c171417a279523f425e5e5059850ff8e72ee690f8fc364ad9da0be9e7d4f0beea2abd1567ce44eeab1b94452f264be41a91