トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

672b2dcd01be2a88c274025dda0b121f53174edcf21ab396991feaf468fac07f OP_CHECKSIG

20672b2dcd01be2a88c274025dda0b121f53174edcf21ab396991feaf468fac07fac

コントロールブロック

c17fae17c08fab1e2e0d67213b7cf5c0f49be6b61b2ddfc2f00678f28b665410d1 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

7fae17c08fab1e2e0d67213b7cf5c0f49be6b61b2ddfc2f00678f28b665410d1

リーフハッシュ（TapLeaf）

5f9acac0276adfd49b54646ba3231645311ca11735d95590308cb56e8331f16e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5f9acac0276adfd49b54646ba3231645311ca11735d95590308cb56e8331f16e
2. TapBranch(5f9acac0…8331f16e, 7fae17c0…665410d1) = d3e90a3d0bb8a26e0fab3846edbdcd09f04743f50608aca183d78655fe15c594

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

d3e90a3d0bb8a26e0fab3846edbdcd09f04743f50608aca183d78655fe15c594

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

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

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

fe55cb632ce5549779f0ae785915dc70a24a9e91d89399ee5751de4c943f87baac83a78c4df44f053030d002745a447fb692dcd917ca145fd798780fc2a84b1a