トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9b6bd3d902d32e039b38e7dadaedf0a050f9b087758227116d1e794b96cbf31d OP_CHECKSIG

209b6bd3d902d32e039b38e7dadaedf0a050f9b087758227116d1e794b96cbf31dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4ad1db7fe640b5368dc408b1469828fc3eb0287236e74b8ee45f1bf0d25f6a61

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4ad1db7fe640b5368dc408b1469828fc3eb0287236e74b8ee45f1bf0d25f6a61
2. TapBranch(4ad1db7f…d25f6a61, 46c7eccf…1725e9fa) = 19257e348018f8e4ad4b85e7f3c5d59bbf044e788098f476452a238bbf6cca74

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

19257e348018f8e4ad4b85e7f3c5d59bbf044e788098f476452a238bbf6cca74

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

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

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

00a53f894bdbfc44916d5d1d13502830bc0967dde55761d40aa5e83fb0d50df20c2e78a927c850c91824791124054bb85d6cdcd427e1a301100c0a21d5cc3f94