トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

13640375b042aaf513f9b84b92312f6ef52ff293ca251c2716e65e4c9988aec3 OP_CHECKSIG

2013640375b042aaf513f9b84b92312f6ef52ff293ca251c2716e65e4c9988aec3ac

コントロールブロック

c18c713b0ee140367e98502e6bebec08243fa61e6f16b3f85e266caccc973ff47e (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

8c713b0ee140367e98502e6bebec08243fa61e6f16b3f85e266caccc973ff47e

リーフハッシュ（TapLeaf）

6ba803f316b814bbb005b07ae3245dc3f8c446a6ad98d61bc941fa109e9325a8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6ba803f316b814bbb005b07ae3245dc3f8c446a6ad98d61bc941fa109e9325a8
2. TapBranch(6ba803f3…9e9325a8, 8c713b0e…973ff47e) = b2d6bebe4d068e5a83eedef69839ce9ece37ebdc7e8d17b1caa5283f9ed39972

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

b2d6bebe4d068e5a83eedef69839ce9ece37ebdc7e8d17b1caa5283f9ed39972

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

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

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

6c3816b1abe42e2efd6ddfd7f86fd7bd9f4f51df9b47259f11605719ec1e74ed25f55ef29edc5a4c8e42a0800e9751dd3ae8bf182b6377c046287368c0d74627