トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2f1726e6af25d5c02583e7d35ff7c43094a992a9e33715924097af64fa53b52b OP_CHECKSIG

202f1726e6af25d5c02583e7d35ff7c43094a992a9e33715924097af64fa53b52bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9b2d79fc8cc716fd33ea3f6b77372ceca39e0b7d44e89944024bc69f31c33628

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9b2d79fc8cc716fd33ea3f6b77372ceca39e0b7d44e89944024bc69f31c33628
2. TapBranch(9b2d79fc…31c33628, 46c7eccf…1725e9fa) = 382065e2ec2c44701cd2462ec31583b79b1c8342e3c250176c00aa6af0ecbc06

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

382065e2ec2c44701cd2462ec31583b79b1c8342e3c250176c00aa6af0ecbc06

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

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

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

0523ce638a8f0654b65a6091ea1a3cb92c8d845689a85e2c2dd4f6f3ef98cd26c9bd7479be5eef5c2bf1b3cb940e713eae6421d1a152170d857de9b952cbda29