トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9ba289ace9d2206c405eb5cf9adac990c70bf805afa969635a5a1c74e25e27eb OP_CHECKSIG

209ba289ace9d2206c405eb5cf9adac990c70bf805afa969635a5a1c74e25e27ebac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

406d2be9d15530492800dbd158eff7c1654abfe5ec39e9f3c0d28e6fc790e46c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 406d2be9d15530492800dbd158eff7c1654abfe5ec39e9f3c0d28e6fc790e46c
2. TapBranch(406d2be9…c790e46c, 46c7eccf…1725e9fa) = 411e08282e1cfb82848d8ca4eb861328150adaad2a35713e4d7d61a4c39f8132

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

411e08282e1cfb82848d8ca4eb861328150adaad2a35713e4d7d61a4c39f8132

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

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

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

09e3de7c7ff887417ccd73a4402790ba88ff62f5cf9436ea51e9a54e2e37720288c22c897cd941163dd9eb8bbb8fecf944d7052b92cfd7398756c72aa3f78cbe