トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cab956a77ba85446e7a1348a01c38810c2d0c7b26409157252e893b711a23635 OP_CHECKSIG

20cab956a77ba85446e7a1348a01c38810c2d0c7b26409157252e893b711a23635ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0943c5b57137d1acf0d172eb781253d5b17756e737b7a65e481876c857b78680

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0943c5b57137d1acf0d172eb781253d5b17756e737b7a65e481876c857b78680
2. TapBranch(0943c5b5…57b78680, 46c7eccf…1725e9fa) = 67204bc721af4dd93f92a6a8d74bdbbce6b548813deda8f3765d221707dbb728

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

67204bc721af4dd93f92a6a8d74bdbbce6b548813deda8f3765d221707dbb728

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

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

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

f6de1a187e3c4a5e0f45ee444975184185a887a249497872e9b4fbcc843d53c04d2869772ad3e09f2d7b188f702af6d919ce4406919b317d9596d5c427f7397b