トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3f44f58dc1f5a38fc0aa0af5a8c36491a0da81151dcd3877e0fbd0ca0ef54ce2 OP_CHECKSIG

203f44f58dc1f5a38fc0aa0af5a8c36491a0da81151dcd3877e0fbd0ca0ef54ce2ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

1b2a66e1ffcb2b5bd415d2b1052cd35a6dd0158cec716678cd2f4b501bf73dda

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1b2a66e1ffcb2b5bd415d2b1052cd35a6dd0158cec716678cd2f4b501bf73dda
2. TapBranch(1b2a66e1…1bf73dda, 46c7eccf…1725e9fa) = 1ba0f532cde3295a8015344f4e439a769ce757541df27b5029f99aefc73f369a

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

1ba0f532cde3295a8015344f4e439a769ce757541df27b5029f99aefc73f369a

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

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

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

f1723a39270342ab574a50b8185aa85d3452c04bc457f1d848b9600476d1a4b0fbb75788b1bdd2b23721fabd49cb3d4848280f2370c09b3cecb731abae8c551e