トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

49f1dfc07500bf381e3302126a5ad65a215a3b29aa3d7bb8cb37af21809eada8 OP_CHECKSIG

2049f1dfc07500bf381e3302126a5ad65a215a3b29aa3d7bb8cb37af21809eada8ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7b79111fda0be8f046d6721d59b009c2eb41eebceafc75ef0427f97668f1e5a3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7b79111fda0be8f046d6721d59b009c2eb41eebceafc75ef0427f97668f1e5a3
2. TapBranch(7b79111f…68f1e5a3, 46c7eccf…1725e9fa) = 23923bb66c63de99c54f1e266379213a59fee2fb2bcfe1e2e9fc894f224c7cc5

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

23923bb66c63de99c54f1e266379213a59fee2fb2bcfe1e2e9fc894f224c7cc5

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

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

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

b3fef72484e5129efe0807071e72f4fcbb3c6fdb9ab48ad786fb0e44dd98ed7195ea6fbb253ca659807492a5a88a2ad3f058b9b0430f7ab7c269d94aed63130f