トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

67c13057aa033502a26f6463fce27e9f70a60cf7e975c94c8cbb7af1b9becfa3 OP_CHECKSIG

2067c13057aa033502a26f6463fce27e9f70a60cf7e975c94c8cbb7af1b9becfa3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8cde1caf96e0d217a5037d6ac06ca72d8960de19e62483152af57ccebcf4cd03

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8cde1caf96e0d217a5037d6ac06ca72d8960de19e62483152af57ccebcf4cd03
2. TapBranch(8cde1caf…bcf4cd03, 46c7eccf…1725e9fa) = 22a5d71d4eca91ec22c32fb8886593a6c22ae4217757db3efa9ba97d34b5e2a9

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

22a5d71d4eca91ec22c32fb8886593a6c22ae4217757db3efa9ba97d34b5e2a9

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

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

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

19ed22e3fe55443a2ce972d02026e9c05eb37976dc75c92e49bf61f15902caff798d6715fc3292ae29ab7e1e962e5bc6fe0bc10f0d657a5a679b63118ddc403f