トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4fa940b63a9f8300ea7a9a216436c52ebabdf9874864f98badc9243ffc06c7d5 OP_CHECKSIG

204fa940b63a9f8300ea7a9a216436c52ebabdf9874864f98badc9243ffc06c7d5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

225ba02ca67e2f8b734a0530bc13f0fd90862eb134261ea3dc668dc734027a69

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 225ba02ca67e2f8b734a0530bc13f0fd90862eb134261ea3dc668dc734027a69
2. TapBranch(225ba02c…34027a69, 46c7eccf…1725e9fa) = 642922bfc9f989828c556619c56f983de1fb0f51ac45a1a41131de4fc799d99b

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

642922bfc9f989828c556619c56f983de1fb0f51ac45a1a41131de4fc799d99b

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

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

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

3bae4b17bce103e3a0846b14ea38125cf9215a1919c11d2b71eb0b78cbe7c82828a8841eabb0ca72e768cef4b44336e3b257eb3940bb42af2f1996bae4ccc914