トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

037644e766e58de6401f1ad9c2b6760e1b0a952ff010102e1cacbd0ab70d1e6f OP_CHECKSIG

20037644e766e58de6401f1ad9c2b6760e1b0a952ff010102e1cacbd0ab70d1e6fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9c665de7afecff85ffa9b40ee7aef32c2970dc5d405ec44d9fbce036c0fea137

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9c665de7afecff85ffa9b40ee7aef32c2970dc5d405ec44d9fbce036c0fea137
2. TapBranch(9c665de7…c0fea137, 46c7eccf…1725e9fa) = 7107ffe19e04db684d8f24751806f3e6d3186cfa8db9c7fb4a68b28263838bdf

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

7107ffe19e04db684d8f24751806f3e6d3186cfa8db9c7fb4a68b28263838bdf

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

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

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

d5d725e38021d34775dd94b34784809c5ea097920d00b0cefe5ab94fbef5b9b5a2f015dc03e7f9c8fd922f904a656b8015231ee1e2355975a96bfde9f340417c