トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0db294de20be6de7e8f87f764559ff5808f588f45ac73808bbb4ce6d20110034 OP_CHECKSIG

200db294de20be6de7e8f87f764559ff5808f588f45ac73808bbb4ce6d20110034ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2733cb7a6bf01621293c338e3f7362ab8136a71807a433057ff5de9a15568be5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2733cb7a6bf01621293c338e3f7362ab8136a71807a433057ff5de9a15568be5
2. TapBranch(2733cb7a…15568be5, 46c7eccf…1725e9fa) = b1d4b8ca3fe634e60d6d0b2f40627c94aa41138e26d0ad762aa61b4919a07e44

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

b1d4b8ca3fe634e60d6d0b2f40627c94aa41138e26d0ad762aa61b4919a07e44

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

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

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

a15de35b4983e2d4d85b931b73ce9e2015d66ca972e998924be1ace84e897fdb902cf4ef0b93f810b17706c9c68630b19690f933888396d20350327e8fd4c6bc