トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9b641a91ee50a4ea7b58280d1c371f49e61f1a444fdeba97e47c2d8cd46234b7 OP_CHECKSIG

209b641a91ee50a4ea7b58280d1c371f49e61f1a444fdeba97e47c2d8cd46234b7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0468ae5263fa292e88e0f5141ad89bc3b2256869fc41a23bca470590e2932826

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0468ae5263fa292e88e0f5141ad89bc3b2256869fc41a23bca470590e2932826
2. TapBranch(0468ae52…e2932826, 46c7eccf…1725e9fa) = aff30995c96bac4262059431fbdfa50a01d132929c642a5c2ec70d18283fe5ee

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

aff30995c96bac4262059431fbdfa50a01d132929c642a5c2ec70d18283fe5ee

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

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

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

58758cbe77e9c69a37e741fe0a3814e6c19bb30093598fd59c5fb614022361f5d07595de4044b2ec67c57346db6954487781d7a187bfac3fd9ec5575486e34b9