トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e0d3ad7bd506c04b9ac32d9e869ebdaeba0b7b2d017f3e57ae10c32aa51ef946 OP_CHECKSIG

20e0d3ad7bd506c04b9ac32d9e869ebdaeba0b7b2d017f3e57ae10c32aa51ef946ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f445edac62d8477ea89e901a74fd54e1bc15bb55231a8b61b674b46dfb7ef43b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f445edac62d8477ea89e901a74fd54e1bc15bb55231a8b61b674b46dfb7ef43b
2. TapBranch(f445edac…fb7ef43b, 46c7eccf…1725e9fa) = 044d9bd6e5b5aa782e45a1b12704efbbe0b4400e641f1a306c4cedeb72ba12ff

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

044d9bd6e5b5aa782e45a1b12704efbbe0b4400e641f1a306c4cedeb72ba12ff

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

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

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

9db81a21289c85d717bdc0ce71cad18585526007441dec6351ce37169d48e782363a2c623403359eb8bfc58ad34de11b6f9badb3bdea5dd26028784a479c2869