トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

930606421edd76ee2a425bc1b7bca5ab7d3223e49306a73099a53ea3b2d91f0f OP_CHECKSIG

20930606421edd76ee2a425bc1b7bca5ab7d3223e49306a73099a53ea3b2d91f0fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

324a947dce29755be74198ace340bd829c90e436bb38fed57a0c3e23558f1a29

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 324a947dce29755be74198ace340bd829c90e436bb38fed57a0c3e23558f1a29
2. TapBranch(324a947d…558f1a29, 46c7eccf…1725e9fa) = 85f259ba608b8c1b8084fd13524b99b18822d986a53252ea665d5a28724fefbd

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

85f259ba608b8c1b8084fd13524b99b18822d986a53252ea665d5a28724fefbd

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

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

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

28dd7484f5799ac522e4fa69392dd83b7d1f2658cef9c7a4e234d7991b438724e7acbe2fc091d212f01a2cbd55001d435ece52b3e3ab518721c8c5490602a0a3