トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b4219a813df0f92c4d48647784e97208f0791d6f7b3184bf8a3af877bff06fd5 OP_CHECKSIG

20b4219a813df0f92c4d48647784e97208f0791d6f7b3184bf8a3af877bff06fd5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

dddb62a482b8934666181c302c4b6b0f40d9e41a5b07a001ac946ace08169e15

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = dddb62a482b8934666181c302c4b6b0f40d9e41a5b07a001ac946ace08169e15
2. TapBranch(dddb62a4…08169e15, 46c7eccf…1725e9fa) = 297361b8ff0f9f75a1a22422d682def1737a7491099a94441c39749ca88a6173

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

297361b8ff0f9f75a1a22422d682def1737a7491099a94441c39749ca88a6173

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

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

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

9c0d67238bf5f364c47912f3beee0de3ccf4779430d4cefae84e5a8b3e8add18684ac1264e8517f770fb2fbc1ddeb66b54ca1742111df740a15a4a42947958a6