トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

90681016ed7949dc1520fbfa6e1f07af6506146d8f48d72920a48074f30dab8f OP_CHECKSIG

2090681016ed7949dc1520fbfa6e1f07af6506146d8f48d72920a48074f30dab8fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b05bd57cd8b62c937f5430a5861e0d4c72fa41bbd49a6f604f9e4ed6d303bd66

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b05bd57cd8b62c937f5430a5861e0d4c72fa41bbd49a6f604f9e4ed6d303bd66
2. TapBranch(b05bd57c…d303bd66, 46c7eccf…1725e9fa) = 773666651569e2d50e56b6467b9c85853203e0c5b5227d04cf2cc10cf52bce30

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

773666651569e2d50e56b6467b9c85853203e0c5b5227d04cf2cc10cf52bce30

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

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

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

d345ba3a728bad847fdef0447c70acf0209f21353854f5567b275d8e8a8f6b10dad199111449335b7f9886d9602bd99af68edfb8df7ba9d1f993aec9128d0448