トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

107990dcd4491a63e0a073dd82351d7c48b2879af5c0235171916f347834a946 OP_CHECKSIG

20107990dcd4491a63e0a073dd82351d7c48b2879af5c0235171916f347834a946ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f2a556fe70148d4c51c75ad0a865237934a06585e1275714d55b212ba71807c4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f2a556fe70148d4c51c75ad0a865237934a06585e1275714d55b212ba71807c4
2. TapBranch(f2a556fe…a71807c4, 46c7eccf…1725e9fa) = ea3d1b852bc910248565fc89c374f1254c1f97aeb722718456b4cedb917b8d3d

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

ea3d1b852bc910248565fc89c374f1254c1f97aeb722718456b4cedb917b8d3d

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

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

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

01e9c2c8f0bf03cc3ad45d5d97948918957789561319fdccbef2606ead16f312b21efb496fbbf5696f22b3f16314eb366ee535632e3df6dd2e7897cce98f9dc5