トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9262be119ff1514cfd91ebfda47700abea6bb2ebfd0d9eca860aa15d98e41d44 OP_CHECKSIG

209262be119ff1514cfd91ebfda47700abea6bb2ebfd0d9eca860aa15d98e41d44ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4e9661fbe67238f4bcaea2b34c5373a828a29b6c36f4e6ba99c2753d947224ee

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4e9661fbe67238f4bcaea2b34c5373a828a29b6c36f4e6ba99c2753d947224ee
2. TapBranch(4e9661fb…947224ee, 46c7eccf…1725e9fa) = 1e74475d85b4e60400ee07bc56cef35253c72759c3b8f8547ce181197437c912

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

1e74475d85b4e60400ee07bc56cef35253c72759c3b8f8547ce181197437c912

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

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

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

841febc3e640bb6f32928f904e1297957dfcdc5312a9936b0e7c3ae760e53d5edb03a13de1d7f183438c4ce55243f1849403eda8914e3be838cd041481d05338