トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f8990af9a9ec83424abe59d4fb2cadd14afbe9cb4b6a5dfd590da862ba46f802 OP_CHECKSIG

20f8990af9a9ec83424abe59d4fb2cadd14afbe9cb4b6a5dfd590da862ba46f802ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

68ca0667eabb0af9bed7cefc5c3d93760076d9fa45df43afa69a3ae86347e6e6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 68ca0667eabb0af9bed7cefc5c3d93760076d9fa45df43afa69a3ae86347e6e6
2. TapBranch(68ca0667…6347e6e6, 46c7eccf…1725e9fa) = a0185dcfba072d91ac810c6eb549b037dc2b604b644a19636380c5dd886fa767

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

a0185dcfba072d91ac810c6eb549b037dc2b604b644a19636380c5dd886fa767

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

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

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

cdf2c4478f4054011e34d7a5b867156b6f3cc7c7825c99c7d9112a88ad61e9a8559ca15907a17b8aac75ee55f2f93512a261fac196655159397cfd81567a825c