トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5fece1270d81106e0a6f1aa55ff4dd13d786d5374dc589f2151613ed1bd7504d OP_CHECKSIG

205fece1270d81106e0a6f1aa55ff4dd13d786d5374dc589f2151613ed1bd7504dac

コントロールブロック

c1203a4d16884fcc3763bd527a249f0f1b27b7fe9fb147b8cb77b5b55646c41a2b (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

203a4d16884fcc3763bd527a249f0f1b27b7fe9fb147b8cb77b5b55646c41a2b

リーフハッシュ（TapLeaf）

8ef1fa08bd2d811430067f99a3fe9f606b876cad22148c7ba519e0072f7ee821

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8ef1fa08bd2d811430067f99a3fe9f606b876cad22148c7ba519e0072f7ee821
2. TapBranch(8ef1fa08…2f7ee821, 203a4d16…46c41a2b) = 9a198fd75405c59753f9f1a100d1a496c3de6cf8d2e58e751a523310b5ebbc11

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

9a198fd75405c59753f9f1a100d1a496c3de6cf8d2e58e751a523310b5ebbc11

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

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

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

b959686a026defad2b1b34fba8c3ceb6976caef7500ae0e7f73af200e514cc6f1ce6f0fc5895b1e90824d6669a58db317d60cfbedafc4c3b179d9430d0149bd9