トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4fe996a57cefd3aded387217dcd4720129971e716704db825c0fa817ce25e085 OP_CHECKSIG

204fe996a57cefd3aded387217dcd4720129971e716704db825c0fa817ce25e085ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

480f881c517f487c7c3c8a7279db7a3541569821d4333a7579a2c5696b78e156

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 480f881c517f487c7c3c8a7279db7a3541569821d4333a7579a2c5696b78e156
2. TapBranch(480f881c…6b78e156, 46c7eccf…1725e9fa) = f56a9e1d5ddd70721ece2ab2c498cb5fb15bc69670b06519a3d4bfa4277a7238

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

f56a9e1d5ddd70721ece2ab2c498cb5fb15bc69670b06519a3d4bfa4277a7238

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

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

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

cddfdcc5ab04c3187ba7af3a4c486e8b60ea9faa4d4d6ff5909e87ba33a207510b93985128344a9c46cc3fb44c747da4c52ba9f8a1c56ed26b72e2a0a031ddee