トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2b959eb55345c1a3221c4dea8fc80df4b0f683809a5d449117b0dbbe994e315d OP_CHECKSIG

202b959eb55345c1a3221c4dea8fc80df4b0f683809a5d449117b0dbbe994e315dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e7266a1f41250daffd86ef88fd72c81b4a7b4eec3e92fbde8caa283c3e711c15

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e7266a1f41250daffd86ef88fd72c81b4a7b4eec3e92fbde8caa283c3e711c15
2. TapBranch(e7266a1f…3e711c15, 46c7eccf…1725e9fa) = 42ce6cc0c1c53cd072d9b39294587aad4064b0dae906952f6544c2ba49bec90c

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

42ce6cc0c1c53cd072d9b39294587aad4064b0dae906952f6544c2ba49bec90c

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

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

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

8dc519a129944ebedf0a22df85d75a996aab20842299f8b3547ca8c106ed454892ac5b1fb1f3611d538234769990fa229a373466b84398fc922c84c419f16ff4