トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9a60e2cb763ebfd2c5194e5b2e8dab5d829a73dec2a18a1857cc49f5c17d5570 OP_CHECKSIG

209a60e2cb763ebfd2c5194e5b2e8dab5d829a73dec2a18a1857cc49f5c17d5570ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7d2d46019a66d7370c6aacae36e2bdefd0da21cb04aaf17c9c42e3588156d3ca

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7d2d46019a66d7370c6aacae36e2bdefd0da21cb04aaf17c9c42e3588156d3ca
2. TapBranch(7d2d4601…8156d3ca, 46c7eccf…1725e9fa) = 34570f079e26d2e8b36b7adfe01388e68ea4c4ac791b73e8a0597ae17fdb10a7

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

34570f079e26d2e8b36b7adfe01388e68ea4c4ac791b73e8a0597ae17fdb10a7

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

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

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

054f7ad46181a3b73343f15529f4459eb6c877607a74f75afe12723026a8f41323c72b464e54fa5f23543d912ff2933c7f4ef405d31aed0a11ed6f783af1112e