トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

12763c21eb2dcf00bc50185e1995db1413b12c66ba3123a7c08edb07750e8d12 OP_CHECKSIG

2012763c21eb2dcf00bc50185e1995db1413b12c66ba3123a7c08edb07750e8d12ac

コントロールブロック

c1da9316784766b4d631e23b039dacf72902523cadbc98a81e6c0618add5c5c752 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

da9316784766b4d631e23b039dacf72902523cadbc98a81e6c0618add5c5c752

リーフハッシュ（TapLeaf）

d008c5651a9fbd16dc6cf37ba30d5a2170d494c1a10a9a44717322bb9187f71e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d008c5651a9fbd16dc6cf37ba30d5a2170d494c1a10a9a44717322bb9187f71e
2. TapBranch(d008c565…9187f71e, da931678…d5c5c752) = f69c78c9edd2af59370aa7ea013042f9d474b314c0d13a1d6e8f12ed0d508cd0

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

f69c78c9edd2af59370aa7ea013042f9d474b314c0d13a1d6e8f12ed0d508cd0

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

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

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

ac6b3a4a821e5e5533e6261943475838aec210cee5923ffd774e9b755f95d4cd876f6005bddf9084ade9b884c631926dfee5fb10592415dc4f4e7472caf4a068