トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

606d947a3d44ed28a96e01afba0b8d4fc62a837a68545313150b36dcb3c157bb OP_CHECKSIG

20606d947a3d44ed28a96e01afba0b8d4fc62a837a68545313150b36dcb3c157bbac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9f6d38b8e2c74d59df712cc45394f2ef5e3c7dc2ee25f3ec8331db445c79b995

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9f6d38b8e2c74d59df712cc45394f2ef5e3c7dc2ee25f3ec8331db445c79b995
2. TapBranch(9f6d38b8…5c79b995, 46c7eccf…1725e9fa) = 37a5ff667b7ee0826085f9882ccfa8fa30e13b413d3cbd10a5df42cdd30ebdd8

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

37a5ff667b7ee0826085f9882ccfa8fa30e13b413d3cbd10a5df42cdd30ebdd8

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

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

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

bc77d4016410c4965008b87e63e73982fa1603cfde4a6f7bfaa53e38e3dbd906e4a1887a2a08eb93040ed0db11f06744cd39b746eca9a965807c5be01c3b2d30