トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a3da9107a2bee6023e062a5957bca76946813f42a1611fa74740b6e4b5f870d8 OP_CHECKSIG

20a3da9107a2bee6023e062a5957bca76946813f42a1611fa74740b6e4b5f870d8ac

コントロールブロック

c1e62e19d1421597972ae42e69aa9c98cb115539f65361339f46b3538a11459108 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

e62e19d1421597972ae42e69aa9c98cb115539f65361339f46b3538a11459108

リーフハッシュ（TapLeaf）

0396d5990ad0d10326f76479af8d42a385dcd2f99eeb17009f1d433d9d4cce84

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0396d5990ad0d10326f76479af8d42a385dcd2f99eeb17009f1d433d9d4cce84
2. TapBranch(0396d599…9d4cce84, e62e19d1…11459108) = 7219f1483d8b4b7be15d8509989fd4901fbcfe0452e583834cad55cd2cd1caba

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

7219f1483d8b4b7be15d8509989fd4901fbcfe0452e583834cad55cd2cd1caba

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

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

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

a6af4dacd3ae0fc9a3fb84b7ea1edac144cbd4566d9ea508131d0778ccd2c9a7f8a9d8f7a31bfaba77a85403c5e39f4eac758cfe5d86b438622bca0271ea13ba