トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

67eb86a8fe36eb564c9e53ecba78c373516df83086eb22268cb9e20a3b923da5 OP_CHECKSIG

2067eb86a8fe36eb564c9e53ecba78c373516df83086eb22268cb9e20a3b923da5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4e5ac0193d43a61a6a7bc32e7a0dc8704c4aca990742b1b06b827093f2d9ab78

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4e5ac0193d43a61a6a7bc32e7a0dc8704c4aca990742b1b06b827093f2d9ab78
2. TapBranch(4e5ac019…f2d9ab78, 46c7eccf…1725e9fa) = ddd7a8a182af0f7d018f8edc6e07132c335fb3cf757d45c536d707033c816ae1

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

ddd7a8a182af0f7d018f8edc6e07132c335fb3cf757d45c536d707033c816ae1

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

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

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

3d283424fdac65d85123e7ce5bb19ccd1fbc6d79889c961adf85f7459cf326f536784003c2d56498830959ed931aee7c5b20944b4bcf801c2d98bdf448ad4755