トランザクション

入力 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 以上）。

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

5697a68ae7774e67fb6bd0685b7a7101df3525d1dbd6142e6b378a2372ee1515b9ac352932d40c906b63a308ec8884c0ccbf82e0e0782e24e15d116c9d7adb30