トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

496fb9cd5319991823044cfe65277b3a8cd2a858d5c0fa27ee425eef68e86c65 OP_CHECKSIG

20496fb9cd5319991823044cfe65277b3a8cd2a858d5c0fa27ee425eef68e86c65ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

705e7eb5bd1daafb4606a3a510040c8cbe9c7a5e1ecb9593597093471601e4b4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 705e7eb5bd1daafb4606a3a510040c8cbe9c7a5e1ecb9593597093471601e4b4
2. TapBranch(705e7eb5…1601e4b4, 46c7eccf…1725e9fa) = 9534ad68046d86120e1dd8594293775a3c9b8d99dd68c568a3d786ac78f63afa

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

9534ad68046d86120e1dd8594293775a3c9b8d99dd68c568a3d786ac78f63afa

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

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

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

e18de723576a24e7cd0b9fa875b0e600ef3ed7a732711e43eaba3bd2fb3c3a6dbb36b11d12e841a37d1453e25831f7239d812f2f6685753a45f329c64282dac6