トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6124af6df83474a451418875f73532c3ca938a3dda4cd88c7fef2cb3bbc9e805 OP_CHECKSIG

206124af6df83474a451418875f73532c3ca938a3dda4cd88c7fef2cb3bbc9e805ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4e8a0fc9e2c8e82b4cdab0d41623100e0c3ab8c2c98d3ee40612e85de401bb08

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4e8a0fc9e2c8e82b4cdab0d41623100e0c3ab8c2c98d3ee40612e85de401bb08
2. TapBranch(4e8a0fc9…e401bb08, 46c7eccf…1725e9fa) = 720f255041c86647aa9a7d94e003b0fe6a8a0eb67117e94b18dd960d40538403

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

720f255041c86647aa9a7d94e003b0fe6a8a0eb67117e94b18dd960d40538403

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

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

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

ec8ce1ae4934a2ae5c90e1a22636a6a4e80d77be8d199ead7c1a3419a7c7566734751706b99ca847c986df3350498ed2037721a77597511b186b51039c63a27b