トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

dbb216b43da1ff613cc8c89515c1dd158b3c0baea85637e0c210bce9bce1d621 OP_CHECKSIG

20dbb216b43da1ff613cc8c89515c1dd158b3c0baea85637e0c210bce9bce1d621ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

53beaf988c3d3ad79e51b6c70df7c9549bdd0a0662a2881990dc55f1e52fd333

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 53beaf988c3d3ad79e51b6c70df7c9549bdd0a0662a2881990dc55f1e52fd333
2. TapBranch(53beaf98…e52fd333, 46c7eccf…1725e9fa) = c35132d8fc9ac8c6629f78bec4b79b10ee44908ef8e7e03c02b20dbc43ec3b3a

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

c35132d8fc9ac8c6629f78bec4b79b10ee44908ef8e7e03c02b20dbc43ec3b3a

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

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

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

bd5619e0feecaf73fc7637686fe0595dae57182977bfcfdac06d34fa5f508606f57672803f1e5e362f00a3c29b5cf0b503577bad0aae3c3f0555d2379b2f0919