トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

105a0f3b6740d904613185429524bf5d0257e7cbfa8d7dd723b7b907cd091ce8 OP_CHECKSIG

20105a0f3b6740d904613185429524bf5d0257e7cbfa8d7dd723b7b907cd091ce8ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a7c18b368a547d12e6550a80808f0df7c4ae7f954644ac2f3599dc2cf4581f52

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a7c18b368a547d12e6550a80808f0df7c4ae7f954644ac2f3599dc2cf4581f52
2. TapBranch(a7c18b36…f4581f52, 46c7eccf…1725e9fa) = eb7f588b21c80c594ee012c2946cbf5a6669b98eab35059ece79a01aedeee447

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

eb7f588b21c80c594ee012c2946cbf5a6669b98eab35059ece79a01aedeee447

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

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

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

dd00a2f46e83b58a0f66f0f91112d7883e350cc14095d5ccdba3a266acf6faaa7637e83bf0e72109f28a33750c01c5c50c2cf86d90e6ceb79fd8c5bb8b96dcd6