トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

abb819c1da87a331270fb32f79952a8ba4471c82242b5cffad3dd73a571c0212 OP_CHECKSIG

20abb819c1da87a331270fb32f79952a8ba4471c82242b5cffad3dd73a571c0212ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ca0c3da202696e4fbe718f1c4badca441e35e4b14dc116fa5053ba945cebb8bd

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ca0c3da202696e4fbe718f1c4badca441e35e4b14dc116fa5053ba945cebb8bd
2. TapBranch(ca0c3da2…5cebb8bd, 46c7eccf…1725e9fa) = 92e206f7b87498905d03a1830f29cb9c989ad94698fa405fa522743249cfed2a

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

92e206f7b87498905d03a1830f29cb9c989ad94698fa405fa522743249cfed2a

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

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

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

f46ce694280b06e4c49c5a4beaa293c83062cc0b4ee47d92465c9010a48b613b1bd7391577f2f2415db836f412c05ed2a576eb1b77bc1cb089caf0fa19c9a4de