トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0717e6cc6192f4de153ac0354c2e53c2e1ef71eecd3cf7814d092a4feff8a5ad OP_CHECKSIG

200717e6cc6192f4de153ac0354c2e53c2e1ef71eecd3cf7814d092a4feff8a5adac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5acebd1ff51e10958538f7d233763e385f2a292b8e6fdd1429547b986b95499e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5acebd1ff51e10958538f7d233763e385f2a292b8e6fdd1429547b986b95499e
2. TapBranch(5acebd1f…6b95499e, 46c7eccf…1725e9fa) = 2acfa341847b1b2a4858a998fafd7dac083800cf4214b773dff95f409928569b

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

2acfa341847b1b2a4858a998fafd7dac083800cf4214b773dff95f409928569b

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

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

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

35e2922d04df8c0f5d4ef653385030f3743d53312dacd611ee827b8306eb093067592adbf184d4eea2876ac411d00a0ef3ec85e7d01154947ebed488b7e4c77a