トランザクション

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

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

80aa00cf5785e176f5dbfda5060034d13957dc25ada18fc80c77c7ded6e9ccea5424e4aa806642e9fe535552e6bf540e5263a5be9e1c3ee577008cd6bacff619