トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3b638142e9b04771f74e6a85dba5216047b93c0d49ba924e6e69730368d2b3e6 OP_CHECKSIG

203b638142e9b04771f74e6a85dba5216047b93c0d49ba924e6e69730368d2b3e6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7c4a3bd4cf4868e6d08beb8274dd0713a994b9b46cb3db02c0e7dbcc921a2fd7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7c4a3bd4cf4868e6d08beb8274dd0713a994b9b46cb3db02c0e7dbcc921a2fd7
2. TapBranch(7c4a3bd4…921a2fd7, 46c7eccf…1725e9fa) = a111a3f7e62655737e353019d1b366722a86eaeabcdb8295b4e0a29b187d369e

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

a111a3f7e62655737e353019d1b366722a86eaeabcdb8295b4e0a29b187d369e

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

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

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

7d058a68bfc211e028a740fd6ae9c09452ba49816a8e356aec72e145d0f9bd955192d64944ef18812d8b39fbf1e290ce16f96ea8c3761eddc5e17a2211f45af5