トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

652e91842d09d18fd9adb95f986b0959f712f0b188b96aada5c2f86e0392603e OP_CHECKSIG

20652e91842d09d18fd9adb95f986b0959f712f0b188b96aada5c2f86e0392603eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a22460eb6bb722f1b8774734cd4011c6c7e79fe61ae9f07531a2db8b12d8246c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a22460eb6bb722f1b8774734cd4011c6c7e79fe61ae9f07531a2db8b12d8246c
2. TapBranch(a22460eb…12d8246c, 46c7eccf…1725e9fa) = 0b6a7b7639d28166db58f22aad14e2283cfe9fbc1b78b531f741c4b5629c15ca

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

0b6a7b7639d28166db58f22aad14e2283cfe9fbc1b78b531f741c4b5629c15ca

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

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

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

24c1eb450a62e1c8776950217f0b9381a82829feea196e1f7e36eb94c93c97a9c7ad1686a37b4429a8123a19aff8b3892332e3eb8dfc31cad04f53535242e6d7