トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

08120752cecfa16990768c41ea58e20d487b785428584ffd9f0c73549dada61c OP_CHECKSIG

2008120752cecfa16990768c41ea58e20d487b785428584ffd9f0c73549dada61cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

615e3bbf0c79c515a62c2e22f6333bd60c9b2d20391aa2c9f2c6597266478464

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 615e3bbf0c79c515a62c2e22f6333bd60c9b2d20391aa2c9f2c6597266478464
2. TapBranch(615e3bbf…66478464, 46c7eccf…1725e9fa) = fe41b2a8e66f7ccc463ee2a70d293b1bdb2ec30d621f8ba14b7792a5432db16f

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

fe41b2a8e66f7ccc463ee2a70d293b1bdb2ec30d621f8ba14b7792a5432db16f

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

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

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

f4917f008c75178a1798a58f6e03bf471e4c09f066176ba243e1a379c8c6c497375daa9c63d4d588f788f50b056d1ddd1433654f519d06f40f7803cb781cc0a6