トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a9eebd37b850ec673588b9f58a7da6caf6ea7af4ec6ada1ece6361f0729690fa OP_CHECKSIG

20a9eebd37b850ec673588b9f58a7da6caf6ea7af4ec6ada1ece6361f0729690faac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e7517c9a551df92cb045ff0cdfb4b00800a9808379ce3f8f97a54ed3a1e60154

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e7517c9a551df92cb045ff0cdfb4b00800a9808379ce3f8f97a54ed3a1e60154
2. TapBranch(e7517c9a…a1e60154, 46c7eccf…1725e9fa) = dd73630480678d288a78a1fd9ae85b0a3a948c3becde32ca5a5053dccebd0066

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

dd73630480678d288a78a1fd9ae85b0a3a948c3becde32ca5a5053dccebd0066

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

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

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

ebbbfd0f6c4f977a819b22e57466d1fa73e3930e72b44673f48c50ff362f3f49ade39fa5532a4a9fe620298397c4932c387e42ed5d45ad11c136f0c18460469b