トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5428a3fe62cd6f164279d40fe6fd345b0670eec1f9fa2ee9b36a0c4bbd01577c OP_CHECKSIG

205428a3fe62cd6f164279d40fe6fd345b0670eec1f9fa2ee9b36a0c4bbd01577cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4204b2a4e10a67728d95f28087eceff527222a4cf6ba1588f5175eccb2b10dc2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4204b2a4e10a67728d95f28087eceff527222a4cf6ba1588f5175eccb2b10dc2
2. TapBranch(4204b2a4…b2b10dc2, 46c7eccf…1725e9fa) = 6b30d0f435ebd5c01f91791f3e5ead04c428a66997300a7a391b10e2700bce5e

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

6b30d0f435ebd5c01f91791f3e5ead04c428a66997300a7a391b10e2700bce5e

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

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

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

884ec5c52cf665339e316f7530f05df267eaff54427ee101373edde787064333f3c614011416723c9a065eabc3d375941817d9128be1564f164b765d5dab2f4c