トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

33b1ea6746c8949c3b581a4344fd47026d43d05f8b701f7b10ebb5ceae35158a OP_CHECKSIG

2033b1ea6746c8949c3b581a4344fd47026d43d05f8b701f7b10ebb5ceae35158aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

909a2f996f8532ad06b8eeb12051941297a13c2dcd690fac1f3b48d9113e9b67

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 909a2f996f8532ad06b8eeb12051941297a13c2dcd690fac1f3b48d9113e9b67
2. TapBranch(909a2f99…113e9b67, 46c7eccf…1725e9fa) = a001c22f25d3af7d43202d207ccedf379df77c4b78e2e76a34e4404ad1ba7b6c

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

a001c22f25d3af7d43202d207ccedf379df77c4b78e2e76a34e4404ad1ba7b6c

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

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

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

5917aebfaf476ac3980d24db58f84232fe0d877c2d1c6d183ae15eed372e2649b5c904df47b9f768f2e680cbc7aafc534c1ce671d983d4604bea42c951a9a3fd