トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

feba539fa1e6b2fd6eb999e7dbfa45830e0ba4252b244a7450198a071a0f0331 OP_CHECKSIG

20feba539fa1e6b2fd6eb999e7dbfa45830e0ba4252b244a7450198a071a0f0331ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

89e7e5e5421027654cf87a0f63ec09e46e07f316f87362449c2bde45c4d0568f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 89e7e5e5421027654cf87a0f63ec09e46e07f316f87362449c2bde45c4d0568f
2. TapBranch(89e7e5e5…c4d0568f, 46c7eccf…1725e9fa) = 7c909e7ee19ae3133f61bc90c486199553ad8b28b7b7d57e9745006cc2b27846

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

7c909e7ee19ae3133f61bc90c486199553ad8b28b7b7d57e9745006cc2b27846

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

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

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

af323970605c32ab1414050af372bf85f7821d6a23197745842f7ad920b9d96069c0f1dc12b307f246064aa53efa0b6fae05c648fd2b0765e9f9686853ffca45