トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5d8997372a8302e85446ce8ad4d2403bfe16410a0a991589227ce56e132b4e78 OP_CHECKSIG

205d8997372a8302e85446ce8ad4d2403bfe16410a0a991589227ce56e132b4e78ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3faa1597bb911629f276fc51e070b17130ac981ed7160ca809ee516325898f60

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3faa1597bb911629f276fc51e070b17130ac981ed7160ca809ee516325898f60
2. TapBranch(3faa1597…25898f60, 46c7eccf…1725e9fa) = 5578632c4bb797caf947ffd4c497da6e3c8cd1ae8888ded652bdd2d23218a9e2

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

5578632c4bb797caf947ffd4c497da6e3c8cd1ae8888ded652bdd2d23218a9e2

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

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

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

10519c7865fc675056d358cae2839fff60efb0f4de7105e9459b9012e77e2b71fbfd933031235452c872f524ac341fa607f578a32b4c90de4bef464b0dd9546d