トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3ee42c3375ee2d225401ebfa64fc11eb87388630c40c501b83e1a0958ddcb161 OP_CHECKSIG

203ee42c3375ee2d225401ebfa64fc11eb87388630c40c501b83e1a0958ddcb161ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

74d87ce83fa943281aeb953b6af15e787b85289c17adc891fa0f769ff259be30

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 74d87ce83fa943281aeb953b6af15e787b85289c17adc891fa0f769ff259be30
2. TapBranch(74d87ce8…f259be30, 46c7eccf…1725e9fa) = a68b46ea8ffa28e37d8802a85eb8561df04b3efceda57af3315699621446e48d

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

a68b46ea8ffa28e37d8802a85eb8561df04b3efceda57af3315699621446e48d

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

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

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

e7d4a2792da33c6fa637fbcdf6ce3783bc318edb496c47e3014e4030659206f0bab7c5a09d02bd1bdd3eaa612842779f9e8448f99a998cb9b7d5f290b6ec188c