トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

57ad356dc20bfaffd0df06a8a182b28e829c438e5b20725634e9bde1c5f87d2b OP_CHECKSIG

2057ad356dc20bfaffd0df06a8a182b28e829c438e5b20725634e9bde1c5f87d2bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

06b167039f97b6e223dec6b665025392990b0193e618294c416b8596906d1470

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 06b167039f97b6e223dec6b665025392990b0193e618294c416b8596906d1470
2. TapBranch(06b16703…906d1470, 46c7eccf…1725e9fa) = f5aae49c0c6d0ade39298f9dc3a9fc2b40953c72841b3a4b4444f32eccb9b885

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

f5aae49c0c6d0ade39298f9dc3a9fc2b40953c72841b3a4b4444f32eccb9b885

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

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

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

b354ae995d5cca161afd8b6766f9c706f3a803d17831ca8ef98bf2cf09b64e292b777e2b029b65c9000c94eae521972f36bcef7028736129c99d0a3977a7d246