トランザクション

入力 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 以上）。

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

3713dd739ce6f904624dc5e463f88e4941d4d7e07ad1a831962b94b2592353c49adf0f0ad8e2b8bf46bf300ddb36ab87c3a8aaae5a5c4080d2ac261bc4cec65b