トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f2e5bab4f55d97a75f1f829fb2cfa4fdad96f30371aaa926bee495bbd2a6a3a9 OP_CHECKSIG

20f2e5bab4f55d97a75f1f829fb2cfa4fdad96f30371aaa926bee495bbd2a6a3a9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

846c8063c880c74728b9e48cd77d15072ee8df2996131213f579cc80258f2665

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 846c8063c880c74728b9e48cd77d15072ee8df2996131213f579cc80258f2665
2. TapBranch(846c8063…258f2665, 46c7eccf…1725e9fa) = 92b235df1dbe3b119207f32edce35b6e486c23f9d05b1f55b9bdb9921bfb859c

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

92b235df1dbe3b119207f32edce35b6e486c23f9d05b1f55b9bdb9921bfb859c

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

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

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

f4cee100474e24a06ca39cd3990afeace44120833b0f5096661504a59cf548be4f44b789b1358eecf9f690e1decf4ce451e6aa645f7b7f669ba26a745c060d40