トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3df176ed1b8ededc5f28c3200bfa0204ef1a1e63bdc1e8a5f17355cdfa4f436a OP_CHECKSIG

203df176ed1b8ededc5f28c3200bfa0204ef1a1e63bdc1e8a5f17355cdfa4f436aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f415d23617fd08a425651065f58f854942ac84ea98b9e1e98a1dd71bfe0ada57

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f415d23617fd08a425651065f58f854942ac84ea98b9e1e98a1dd71bfe0ada57
2. TapBranch(f415d236…fe0ada57, 46c7eccf…1725e9fa) = 74d2982220eefaa73c4287007d25ec0c123597dbad697132eade8bd764b0799f

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

74d2982220eefaa73c4287007d25ec0c123597dbad697132eade8bd764b0799f

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

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

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

025e3cd344f07b3dba5f0989b71b262bd31830c8fec770e519ef6173af19e82ef506aaee28a319bfae59ec6e544482c3ddc652223137b28f0e75a0bc908b640d