トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

aac471e4f892a1523fc3f180744609e50effd7de74dafe1854744679d5e221da OP_CHECKSIG

20aac471e4f892a1523fc3f180744609e50effd7de74dafe1854744679d5e221daac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e5e6c5b7adb3253110502e5d8dc34ae1eb5d796329e5d738789527277fc905b0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e5e6c5b7adb3253110502e5d8dc34ae1eb5d796329e5d738789527277fc905b0
2. TapBranch(e5e6c5b7…7fc905b0, 46c7eccf…1725e9fa) = aae124aa08e1f161480b36a41a683ab6555ab533969d595333c39947be7f2133

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

aae124aa08e1f161480b36a41a683ab6555ab533969d595333c39947be7f2133

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

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

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

6e411fc41b9154776ab0332bad8d12f4655d12777d2fd32ccad89a3dcc519fc21ae7872660e3c8c84c1b6cd8335c9eb315549f5095f6daaf3b06b3d2dd6e8229