トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4c0d8a2a38220a792373fe5a3e4225e607d31aad9fdc5d13822ce88204071d98 OP_CHECKSIG

204c0d8a2a38220a792373fe5a3e4225e607d31aad9fdc5d13822ce88204071d98ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

570bb53f56483d4a453b25fad5a5c7a11a0c6219ab6004a3968d803465ddc263

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 570bb53f56483d4a453b25fad5a5c7a11a0c6219ab6004a3968d803465ddc263
2. TapBranch(570bb53f…65ddc263, 46c7eccf…1725e9fa) = ad69411f4b4feea56aca5fed88f69d9d65be3f7333247df1ca776c49b1b5c67c

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

ad69411f4b4feea56aca5fed88f69d9d65be3f7333247df1ca776c49b1b5c67c

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

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

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

c9035222dc93ec40b6aba4ea579a1e88a676ab0554a4fa131c198a4f7316a5385be4b98dee737daf84d24f70c03b89110e5269376fbafa0279f6a45c470c936b