トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8b0be8e047b293d3f6632161e61e36e9c82a580746f3d313e23d9fbd21a8c60a OP_CHECKSIG

208b0be8e047b293d3f6632161e61e36e9c82a580746f3d313e23d9fbd21a8c60aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

329c9b97df652adce1188b73b3ea3d82c34cfd4a05b19e7a19ca6d1052a83878

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 329c9b97df652adce1188b73b3ea3d82c34cfd4a05b19e7a19ca6d1052a83878
2. TapBranch(329c9b97…52a83878, 46c7eccf…1725e9fa) = 8e17150bc22039f7a49ddce0d4acf24302da7e9e5ad02f798dcbeb26e9660e9e

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

8e17150bc22039f7a49ddce0d4acf24302da7e9e5ad02f798dcbeb26e9660e9e

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

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

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

d48efeabdb796d9c8ca4dfc491b5dd6cfa8991e82ee3ae1876a836ed1fc0fdc26a9a6e926e3a5a4096da8440bc6a1c8f51b05e0e142f05da850c7a6cad426dba