トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

52a7883307f8b4c09bf5f9c610267d20f530864c189ecd2f8e770f11f9742241 OP_CHECKSIG

2052a7883307f8b4c09bf5f9c610267d20f530864c189ecd2f8e770f11f9742241ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

27c9b88dde2a65cf069e3842c9c3ff671eb915670152724cd77548488bf191bc

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 27c9b88dde2a65cf069e3842c9c3ff671eb915670152724cd77548488bf191bc
2. TapBranch(27c9b88d…8bf191bc, 46c7eccf…1725e9fa) = a53bbe4312c2cf210686d4caa76c2ae944de0e0dd94d6b7e6d0953a5898fc584

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

a53bbe4312c2cf210686d4caa76c2ae944de0e0dd94d6b7e6d0953a5898fc584

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

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

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

9b5cfa16aedd8bada0748d38fa9b75b20ed97bfa9140040a254aade9e612a0189f937eaabe35dd4d9a468e2e7d8622a41b31756ad9c9de1f7bd9697bcb3328ef