トランザクション

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

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

0fc35cf505e463edf5d56c79805f49324fc4c14cbdc94e164ff44a39bc3267d41921039194e37f7da989b2b08a21022787002463a9fc1f70d3f602d5adecc3ce