トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1a885fcae2f7b6f4fccd7a33efd3e1f94445d4e0f24529f3856b7bc47e6d071b OP_CHECKSIG

201a885fcae2f7b6f4fccd7a33efd3e1f94445d4e0f24529f3856b7bc47e6d071bac

コントロールブロック

c1f1499d4bcc8c0cabb219b6fb809381279fd06fe0b017f1fc68813c8d95555894 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

f1499d4bcc8c0cabb219b6fb809381279fd06fe0b017f1fc68813c8d95555894

リーフハッシュ（TapLeaf）

2fb52b9b72508cc4e35538adc132b7b09b239d6223603feed2913ee16f88fc55

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2fb52b9b72508cc4e35538adc132b7b09b239d6223603feed2913ee16f88fc55
2. TapBranch(2fb52b9b…6f88fc55, f1499d4b…95555894) = 6f00eeb7452f241f5649b2dd28167f2677c2f2fd4ce8cc9600db06eec71f0de1

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

6f00eeb7452f241f5649b2dd28167f2677c2f2fd4ce8cc9600db06eec71f0de1

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

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

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

2810e6c05aeeeeafb511d4aaf404b18cbd2699b1bd72d7c75de3286f2c03af95ccce15b314b340e2decb1c9eaafd201f5427ad32a0915f2a5c02e92683a73e5a