トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5c38bbeeff6e52972b7eb7dbc49a413f1e932f39216e12ec73e7483656e77a4d OP_CHECKSIG

205c38bbeeff6e52972b7eb7dbc49a413f1e932f39216e12ec73e7483656e77a4dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e5cc0eb32fbe2b560662e90450f3a9061fde93f60a525ec8b8ad16536d8fcae5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e5cc0eb32fbe2b560662e90450f3a9061fde93f60a525ec8b8ad16536d8fcae5
2. TapBranch(e5cc0eb3…6d8fcae5, 46c7eccf…1725e9fa) = 19149af58f1e8369503d060c6eab59af6ca9593e90cfc659426152774e6e69ee

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

19149af58f1e8369503d060c6eab59af6ca9593e90cfc659426152774e6e69ee

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

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

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

dbf327fa5d2525f4203116f3fb063a2f1e809399913d007de7d5067d2bffacbae4835d87d48d9c7267c903c7615dbd2acd534fb8526a89655b05f56f736c1449