トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1e11894b03145880782b712b026aac9e78f94d91108d56915e24e7256fbb4e12 OP_CHECKSIG

201e11894b03145880782b712b026aac9e78f94d91108d56915e24e7256fbb4e12ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d2971e4f896d3181910ccfba45283053a83c2529197c224d11abe7d6ac80866a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d2971e4f896d3181910ccfba45283053a83c2529197c224d11abe7d6ac80866a
2. TapBranch(d2971e4f…ac80866a, 46c7eccf…1725e9fa) = 202c50582fffc2ff65ed353b2bccf78cb6588103c49eaff0670f7c9c5b0bf2b9

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

202c50582fffc2ff65ed353b2bccf78cb6588103c49eaff0670f7c9c5b0bf2b9

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

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

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

8ae5c4f73ed0af93c6b510d653b1c94b80c2d714d067bbbea2668f07d59c480fa50cfe1c4f5e87aa9ae99d0d6a12f15c91e528a3e8b5b712d50e460b7bf3e472