トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

09ed19b391f76972678835bd874040d7baa373cbf18d045dba93301c12980685 OP_CHECKSIG

2009ed19b391f76972678835bd874040d7baa373cbf18d045dba93301c12980685ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4f918ecb5aabe985b22c3598b86360aa13acb1c13e76fec6883007936e2a0c06

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4f918ecb5aabe985b22c3598b86360aa13acb1c13e76fec6883007936e2a0c06
2. TapBranch(4f918ecb…6e2a0c06, 46c7eccf…1725e9fa) = f03a98a643863cd857475d437c9012c93117d3816a54338d614fbf9dd56429d4

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

f03a98a643863cd857475d437c9012c93117d3816a54338d614fbf9dd56429d4

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

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

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

aaf84af6af3955aa5ce6494ea29d84b412f82c28259abf9b35b7f21592d13985665127a3f91a42c6947fa313c9af8a490a0cbdf62ae59f1ae0b2d8f764ae370b