トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

42ab26ab22870f41e66d338a4d71414a07b67352e455eb79bdd7ffaa2708d03b OP_CHECKSIG

2042ab26ab22870f41e66d338a4d71414a07b67352e455eb79bdd7ffaa2708d03bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3d4210e7b2b268b46bd0e174fac87960742f1fab1f0194931122be12c0ba25a8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3d4210e7b2b268b46bd0e174fac87960742f1fab1f0194931122be12c0ba25a8
2. TapBranch(3d4210e7…c0ba25a8, 46c7eccf…1725e9fa) = 701d19d6285a73d38a4d123669966fc3b2620178292bc53f66cfcbe984d0648b

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

701d19d6285a73d38a4d123669966fc3b2620178292bc53f66cfcbe984d0648b

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

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

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

3c4da8c90d2ea8b018f2e071d35109e17e78d51903ff70c09751dcb676677a71fd614c4ec09b15d43d258121ba46e5449b5c9ff66039e5d937eff1eb76907ec6