トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3a37b288c20f2f709819fa1c5a8251f6fb4933cfc73e353778c9274d62b3b104 OP_CHECKSIG

203a37b288c20f2f709819fa1c5a8251f6fb4933cfc73e353778c9274d62b3b104ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d8c739860e86ea2dec188c52792cd7213bef5672aeb5bfc57d58e2ce6c4b8feb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d8c739860e86ea2dec188c52792cd7213bef5672aeb5bfc57d58e2ce6c4b8feb
2. TapBranch(d8c73986…6c4b8feb, 46c7eccf…1725e9fa) = 58c40094b20d4b09c6875e7d86126076b2eeac96f772abc6cd33221c52eac459

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

58c40094b20d4b09c6875e7d86126076b2eeac96f772abc6cd33221c52eac459

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

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

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

ca8c05a1493b83916bd31023d7bddb035a68c862b2c1e8762e9108c0e7f05fdaf1753f1dbe656ecd3b70876c8d26afc3df1df7cb57631146f19c036be3cb5d24