トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a0148d9b5c5171b644bc671bdab3e5c22fe89245715edeb041a125fa416ff392 OP_CHECKSIG

20a0148d9b5c5171b644bc671bdab3e5c22fe89245715edeb041a125fa416ff392ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

30cdbae3719ee0c7602d5f563a2ba016d9d27d4ce94b11d07986db51046c479a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 30cdbae3719ee0c7602d5f563a2ba016d9d27d4ce94b11d07986db51046c479a
2. TapBranch(30cdbae3…046c479a, 46c7eccf…1725e9fa) = 1949938509686c6eea0cc44119c11113f76c8c301b30cab82cc53729c39a7849

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

1949938509686c6eea0cc44119c11113f76c8c301b30cab82cc53729c39a7849

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

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

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

e11f591b7d0790f3f9e9b96daff8fc6cf4d87124362d0cd5fff2d8c62146b6c838062d725a1ef770e5f931cc9588691397de361e49de74c816d63831f2e7f286