トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2824728a5ddbeb2add2fc5d7a9a69a54a66a0a859a161204ac1f9fe17fded82a OP_CHECKSIG

202824728a5ddbeb2add2fc5d7a9a69a54a66a0a859a161204ac1f9fe17fded82aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e0257796fde0ab26c532e2b5be32c0150a3557ef9e4d21bbc197d4e1500dc0f3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e0257796fde0ab26c532e2b5be32c0150a3557ef9e4d21bbc197d4e1500dc0f3
2. TapBranch(e0257796…500dc0f3, 46c7eccf…1725e9fa) = 2eb88a323a1e68afdde516db48b7acd0420aa3205b20d0ddf303978e3746d27b

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

2eb88a323a1e68afdde516db48b7acd0420aa3205b20d0ddf303978e3746d27b

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

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

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

1e995bb097a00acd6957882fc8f8b9f98cf68728008a41f46ea6fb4499d82814b8973cdebd9cf407424efbd4dea366dd2702490dce0464db14b9faff6a183192