トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bc18d933ceccf9014e967672f6e1a74ebec06e3bb863a168545aaddd61f98231 OP_CHECKSIG

20bc18d933ceccf9014e967672f6e1a74ebec06e3bb863a168545aaddd61f98231ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7c6dd3da7a0ecd33039a894d104e974c262b48dae1f804afdb2eb139ae4f63d8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7c6dd3da7a0ecd33039a894d104e974c262b48dae1f804afdb2eb139ae4f63d8
2. TapBranch(7c6dd3da…ae4f63d8, 46c7eccf…1725e9fa) = 6f08ea0871e913f4b7c359c15ee0d98566d33d186084f602c17ef723e1f3e13d

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

6f08ea0871e913f4b7c359c15ee0d98566d33d186084f602c17ef723e1f3e13d

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

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

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

adf066a1351c56e6044a09f8e843067ca0d28c9e85e7695fd9245af8204124a089778adeecd75df17e24cdf923efef030d764c9be7d2305fa153045cd2b81b48