トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9e6bfef20dc3f66857f569deea4de43339d6b03d8ce0a0884e83ae11cb1a750f OP_CHECKSIG

209e6bfef20dc3f66857f569deea4de43339d6b03d8ce0a0884e83ae11cb1a750fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

047896ac86ec46b95d2e913cadc0ec3fa3ba4603e0928d60611c3eca0808d362

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 047896ac86ec46b95d2e913cadc0ec3fa3ba4603e0928d60611c3eca0808d362
2. TapBranch(047896ac…0808d362, 46c7eccf…1725e9fa) = b45f50b6186f5962b231e356bc0060c5441953fc0ed3397cfd901b04142a11d7

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

b45f50b6186f5962b231e356bc0060c5441953fc0ed3397cfd901b04142a11d7

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

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

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

abb678343e7cfd90a4ed6660b2724c249f0ab20399d34dd1876046bea72b05fc274dabff568cc62eb11f3338da3cf32785768c0e3e97e7f5be6774a089eee847