トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6d5e4a95ade7209c0a90d8a9315eb216f62784d82cb67d9af6d411ed5839b4f9 OP_CHECKSIG

206d5e4a95ade7209c0a90d8a9315eb216f62784d82cb67d9af6d411ed5839b4f9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f268f88075f6a0b95b576c17f63e1c3dbc59dbb1292e2d2a7e1c22befc6b2f3f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f268f88075f6a0b95b576c17f63e1c3dbc59dbb1292e2d2a7e1c22befc6b2f3f
2. TapBranch(f268f880…fc6b2f3f, 46c7eccf…1725e9fa) = 4b6fec032a2739442dab20d69de45f21162f23c05292e9c8034f609196fe4732

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

4b6fec032a2739442dab20d69de45f21162f23c05292e9c8034f609196fe4732

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

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

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

6eb9ccb596450bc1dceaac9fbb10e08666c0d7718e5036aafdde880baf89a6622eaace8242cd34c801b9faf51d402fd41b61fb36647c2bccf06af6dfa0e44c79