トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

61996cb9daa9b3408483372e3f52f7a6ea4f664b996b29348a55b4561921a171 OP_CHECKSIG

2061996cb9daa9b3408483372e3f52f7a6ea4f664b996b29348a55b4561921a171ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4c803da82725fa65766acaf4c03b51f666bad8ce6e92445a208509c279acbdb2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4c803da82725fa65766acaf4c03b51f666bad8ce6e92445a208509c279acbdb2
2. TapBranch(4c803da8…79acbdb2, 46c7eccf…1725e9fa) = 917323d249075cf19f3c4aee62ce9c7ee014821af48cbc10a63cf672a7e116fb

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

917323d249075cf19f3c4aee62ce9c7ee014821af48cbc10a63cf672a7e116fb

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

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

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

db313c5ac230a53d9a24968e548e14b4e9a0377c8832feeeaf70d573952ab42dd9b4ac836feab8cddc06707ef814a452f3fc743ddfb3727213405c3ad81c1405