トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9c4784f03c6e0bc731531ea6cc3aaf4a8c8a3f36e5dfb6ec64cf555718c5f10a OP_CHECKSIG

209c4784f03c6e0bc731531ea6cc3aaf4a8c8a3f36e5dfb6ec64cf555718c5f10aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0d6ffc9a20c9942719d2378732ac6c97e85b6b9309826b25565d32306150b043

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0d6ffc9a20c9942719d2378732ac6c97e85b6b9309826b25565d32306150b043
2. TapBranch(0d6ffc9a…6150b043, 46c7eccf…1725e9fa) = fc69ec41acf4c1929076ea793462f95b1c53b3fbf79cce7c1f3b87dcaab64692

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

fc69ec41acf4c1929076ea793462f95b1c53b3fbf79cce7c1f3b87dcaab64692

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

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

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

6451216c90a0ce6a2a77e578b030955455d49e63138a15da372868fe4269308280659f5172698a578ecdb5cd5d8937ad9aa9044e8c53b6a09736f640d07ad8df