トランザクション

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

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

86f2141511cd80966d2f9dabd978c5dc65d2cc218efd7e994a823923d870e83f29e06c162601d9be2036aa5e64d0e537cf10b0a862aac9543dbd744e9899563b