トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

18e75754835be3c77d93321c0acab82259fdf67024e707f7f0417b0e7851eb43 OP_CHECKSIG

2018e75754835be3c77d93321c0acab82259fdf67024e707f7f0417b0e7851eb43ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c65d04b68ca87b4cc274210aed58cdec1d6fccf97d77aac721f9c2ee82de240c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c65d04b68ca87b4cc274210aed58cdec1d6fccf97d77aac721f9c2ee82de240c
2. TapBranch(c65d04b6…82de240c, 46c7eccf…1725e9fa) = 5de4b76f1e96a8c4939e7b3c8cd55aadaf5a24c075dac07d56c47e7f151ad414

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

5de4b76f1e96a8c4939e7b3c8cd55aadaf5a24c075dac07d56c47e7f151ad414

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

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

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

d6b1ebaa8f73007918189715d62be17f630f994030c435e6f40c11196101a54a27c22b6ee40d727db62def1b703d848e605436f5f394d966c77b3fb25a34ac6f