トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

121071bc2692100d49799e370fe4cbcc5b4132e1690a9d81e70d6929cf96c16b OP_CHECKSIG

20121071bc2692100d49799e370fe4cbcc5b4132e1690a9d81e70d6929cf96c16bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9ecf0b5214cc2b3c5e09b7494d09f78463f72bfb6c01548a7b5616ee757e4537

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9ecf0b5214cc2b3c5e09b7494d09f78463f72bfb6c01548a7b5616ee757e4537
2. TapBranch(9ecf0b52…757e4537, 46c7eccf…1725e9fa) = 5e4aab406ea8d2db59a54435392ec331fe29136c36c55937eb8b775149a5a56a

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

5e4aab406ea8d2db59a54435392ec331fe29136c36c55937eb8b775149a5a56a

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

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

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

fb7f833d6ecbd3165405727a832dfa8421474f794ef1b907a02c2e4cd98cb047e4b928e68cb8f48b19312a8472f83bd385dab20bd00cf947ed85f7b834522eed