トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0a2ace6fa597ff9c066eac87b8ebcbc549e640e1fd464a7365f2e241047bba80 OP_CHECKSIG

200a2ace6fa597ff9c066eac87b8ebcbc549e640e1fd464a7365f2e241047bba80ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7cc384172d8b0f03b8dfd067a1693fed97ffcb662e09c8084218a5c2d5d53123

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7cc384172d8b0f03b8dfd067a1693fed97ffcb662e09c8084218a5c2d5d53123
2. TapBranch(7cc38417…d5d53123, 46c7eccf…1725e9fa) = d991c5edce6dc2311868b469675ba4a5108d881362a0a8a563ed2dc95f8949df

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

d991c5edce6dc2311868b469675ba4a5108d881362a0a8a563ed2dc95f8949df

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

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

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

1944efd090afb4a5f0847d11abf6bccc07d00b97a4abb2a373869f9bfba52c99ebad1e7f57721d7d29b846ef51c7a45c6765579a0f883e395638e1a1f50253b4