トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cfd7397b16530fbd968954420f386310f82486306da27adca524481ca380daed OP_CHECKSIG

20cfd7397b16530fbd968954420f386310f82486306da27adca524481ca380daedac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

79733721a067ecbf1a3268417951a1f6117e42b07e9aba748e8e657549c2ba4d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 79733721a067ecbf1a3268417951a1f6117e42b07e9aba748e8e657549c2ba4d
2. TapBranch(79733721…49c2ba4d, 46c7eccf…1725e9fa) = 2a61b9eb68b636c1e75df0665442d3e669d39fee16b4a3d69520437e92d3ae90

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

2a61b9eb68b636c1e75df0665442d3e669d39fee16b4a3d69520437e92d3ae90

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

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

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

b90e846aa3909655f0b85c8a8806430dac3d265eb9135b6dbcdfa9252d4ee0f51b335fa5845e0cc07bcd0ba4fc8cca38d1891efd13e801af8cea9181f3f7b2c9