トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f9cad0b8d0705b7b3045b8db2cc262f79af487eed7930c1a1233d22d5e12d5f4 OP_CHECKSIG

20f9cad0b8d0705b7b3045b8db2cc262f79af487eed7930c1a1233d22d5e12d5f4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

af6873f52cd6f608ae774603cda92fc211fd6dc5d22953a909e674e64a130125

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = af6873f52cd6f608ae774603cda92fc211fd6dc5d22953a909e674e64a130125
2. TapBranch(af6873f5…4a130125, 46c7eccf…1725e9fa) = d708b71083af5aebe21aaab92a7453c8fd8ab648516cde6ccafc20c2598e7807

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

d708b71083af5aebe21aaab92a7453c8fd8ab648516cde6ccafc20c2598e7807

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

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

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

f43ec17537bd1ec95d22d8c9a20a97096bb6fec39764a15e42bf550e51e975bb799a942a9bcc06b9673ab34683f51c19eb7ebd89276bd0bd7054c3cd361ac142