トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f6bbb3c07e3be88d11595bf1cebec6c8aff6018c1ef85158fc01c1a29c9d30b3 OP_CHECKSIG

20f6bbb3c07e3be88d11595bf1cebec6c8aff6018c1ef85158fc01c1a29c9d30b3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6b99e20fe49b345ef4ba20a5d2ae84a7f2f056d3ff8aacae39c1e99cdf12928d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6b99e20fe49b345ef4ba20a5d2ae84a7f2f056d3ff8aacae39c1e99cdf12928d
2. TapBranch(6b99e20f…df12928d, 46c7eccf…1725e9fa) = 5da929e9f954c78ce5797791a93b933cd208cc311849442b6a6ab6273e6db472

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

5da929e9f954c78ce5797791a93b933cd208cc311849442b6a6ab6273e6db472

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

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

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

476e45a9e9425081eb42e3d65945ce00dba7ed4c9337f3f11e8d6fbff74eb332d9a118b47121ea7073093c285be403b5da482c63fce76ddeb81453b014c1dbbe