トランザクション

入力 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 以上）。

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

7e029234e210819043a034da72d4c395b82bb0f23a0427004e20dc4c1d7e9b11ea2aebe541926047361ef69348c87f60abe2858c8bc2c7e4bdbfd3808918ea64