トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

baeda3b0ee35b1fd18eb99ebfbe57875c756d90875ba33506f6404f13a400eed OP_CHECKSIG

20baeda3b0ee35b1fd18eb99ebfbe57875c756d90875ba33506f6404f13a400eedac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

da688751338effa462cb0dbbcd3456937de8c15bfbf83994e489c49ee7c783cc

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = da688751338effa462cb0dbbcd3456937de8c15bfbf83994e489c49ee7c783cc
2. TapBranch(da688751…e7c783cc, 46c7eccf…1725e9fa) = 9512f1e701397ad8fc3b904aa7169edaa6162b511cea35ed4dfef29c9e113658

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

9512f1e701397ad8fc3b904aa7169edaa6162b511cea35ed4dfef29c9e113658

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

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

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

9ee97ac2c42b262ad50d794cd36fe43cb3444da99a35ff67ef18e6e8eb79b9416908e2526b556871c3d722231b3d62a32899ed9818a477ae7d7eb1b120e79b0b