トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

dd73727d25208ea804100ba33779bc5ed1253bcc0ca16749c16676b4d72723e2 OP_CHECKSIG

20dd73727d25208ea804100ba33779bc5ed1253bcc0ca16749c16676b4d72723e2ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

89fd89afd7b505f61c3fda832d4afc30acc49e9a1a7da33851235af427c8a3d3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 89fd89afd7b505f61c3fda832d4afc30acc49e9a1a7da33851235af427c8a3d3
2. TapBranch(89fd89af…27c8a3d3, 46c7eccf…1725e9fa) = 1932a7fd076f936ebd6775b087421efab8d5e760cc916e44e6a6f59b049435da

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

1932a7fd076f936ebd6775b087421efab8d5e760cc916e44e6a6f59b049435da

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

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

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

94f8ddf84151800063ed6de35daae92c9372adc1acaff4f381ab58c1a157d624df6d1f4f5b45fe935733a41ddff09cd0812c543bf8ad19a171842d7d8c66a36f