トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d816385df134c22b6a9d7598f9b2e9b183729a016ed5a7a7a976686d29e30240 OP_CHECKSIG

20d816385df134c22b6a9d7598f9b2e9b183729a016ed5a7a7a976686d29e30240ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5b7e37ac6e06990a2905b15aeda8591a9d2e02dd3d3d5576be8b10fbac948ea9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5b7e37ac6e06990a2905b15aeda8591a9d2e02dd3d3d5576be8b10fbac948ea9
2. TapBranch(5b7e37ac…ac948ea9, 46c7eccf…1725e9fa) = b869b184b409d68c93dc51b936036c57de8d456108e279afb6dcb406fdc60ccc

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

b869b184b409d68c93dc51b936036c57de8d456108e279afb6dcb406fdc60ccc

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

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

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

3863a13319f6b47c8cb60ede4865a2bc8e15c79467a8c029ad92acf8c32219e3f2c3a4a1c2f0bed5459c4032b8e50353a960db91dc1ee21dad2fa9f545c3a20a