トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

17c71a873b639aa3944731c806c8a4af25d7e4c90672061760fc693674e608a0 OP_CHECKSIG

2017c71a873b639aa3944731c806c8a4af25d7e4c90672061760fc693674e608a0ac

コントロールブロック

c1857030fd9478fabf48b1033d71a41941dbad85f276785796ef38104672432bf3 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

857030fd9478fabf48b1033d71a41941dbad85f276785796ef38104672432bf3

リーフハッシュ（TapLeaf）

76a81336470773526e866aad7d6635d5f22b9044eef1e6cde86583c66c8df36d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 76a81336470773526e866aad7d6635d5f22b9044eef1e6cde86583c66c8df36d
2. TapBranch(76a81336…6c8df36d, 857030fd…72432bf3) = 9adf49ae41300913c0e0f3fdc10977b7cdaae197087fef6d37b7415271faa2ce

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

9adf49ae41300913c0e0f3fdc10977b7cdaae197087fef6d37b7415271faa2ce

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

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

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

20fae5f86d8405f28690694e351ebc2d3a2de93c51a83157739de35de347a562d750db17bfd2adfbd1ad40a5b3ed4f1c54f597e868f26dcd5b677d234d52a579