トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6581acb2c8b11e1dcfb388e77ce2f97524b5526262a1587a4b14faa25d5de215 OP_CHECKSIG

206581acb2c8b11e1dcfb388e77ce2f97524b5526262a1587a4b14faa25d5de215ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

46df0d9c0eb5671b15aad4171fea071f7a44064dc3bbfb468c4e89bf11cc96c7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 46df0d9c0eb5671b15aad4171fea071f7a44064dc3bbfb468c4e89bf11cc96c7
2. TapBranch(46df0d9c…11cc96c7, 46c7eccf…1725e9fa) = 6782f33112a485c25d0987223170c0d51afda3131ed84fd6b09ea3253c362d34

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

6782f33112a485c25d0987223170c0d51afda3131ed84fd6b09ea3253c362d34

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

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

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

1dc4c6e211f8d752aa36fd87a902935e3edec3efeca60b142b1796dcd28c0b618fa833c4bcdc759fe8c1437a2b45b5cf4208550c987090ea4ad737e7773072f1