トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e5860cc2324e8ab154527f5d5cb9d140aedcdda9c0aedd20d1e999d640d70dd4 OP_CHECKSIG

20e5860cc2324e8ab154527f5d5cb9d140aedcdda9c0aedd20d1e999d640d70dd4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f40cf596e38187c2ae441576e8dda949263a35c037ebd80aeac64ad5f600a5ef

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f40cf596e38187c2ae441576e8dda949263a35c037ebd80aeac64ad5f600a5ef
2. TapBranch(f40cf596…f600a5ef, 46c7eccf…1725e9fa) = 6694734e54c857709c1975aca71a16033487c15fa1614fc51270d55bd7184077

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

6694734e54c857709c1975aca71a16033487c15fa1614fc51270d55bd7184077

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

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

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

a19d474994ea5f591e0f4d82756d148fc4a07021903d697f407f418d921a522b92e8ef48dc478c1e3cbd00eeecb55a2ea40c7ed9df3eca04f6f6f2445f19ccdc