トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d6bb809eef40757be0df6857fb45af8966e79fc7c873b96019cfd2903e035650 OP_CHECKSIG

20d6bb809eef40757be0df6857fb45af8966e79fc7c873b96019cfd2903e035650ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

02a963517f0a2d51f30ad311e2f68a4b870916a06953802f8445063ac4319187

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 02a963517f0a2d51f30ad311e2f68a4b870916a06953802f8445063ac4319187
2. TapBranch(02a96351…c4319187, 46c7eccf…1725e9fa) = 175b7a6fee72df036826d2aa81200d4e7852bc67711b86ebf59cdfa84331cc82

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

175b7a6fee72df036826d2aa81200d4e7852bc67711b86ebf59cdfa84331cc82

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

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

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

048289c538c7c0d6d0e34ca20bbcf559bbd3eb4b9290a299c5c4e38fab120b1ebf9d74aa387aefe8185ac589c2b6a32e758560fe6d1ff1ddcc93e46c97ea0aaf