トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a1e3e768cb1e543eb1a77c33664b464ab4ececa88cb626c76b570fe736674a90 OP_CHECKSIG

20a1e3e768cb1e543eb1a77c33664b464ab4ececa88cb626c76b570fe736674a90ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

05689c352af166549d5dba292f510d036ff16b500f9fade5d287b080e2c24972

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 05689c352af166549d5dba292f510d036ff16b500f9fade5d287b080e2c24972
2. TapBranch(05689c35…e2c24972, 46c7eccf…1725e9fa) = b0f203f4b633ba761f8e0528a061c4d5012708858587f6c0592a3f5c8697a8f2

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

b0f203f4b633ba761f8e0528a061c4d5012708858587f6c0592a3f5c8697a8f2

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

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

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

2d1ebb0c2b4ba948b4e9b8eb681cd48fcc5d0a01e5885c443bd8c38997c7fccfdd6c62a98e40baa722d6f205b0e8d779eb93f7991047ee932b2844ec6b6e36cf