トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1ac00927d69e49bae237ea1eead4cecf4d2c8c76e71a7586779142d7ebc6a219 OP_CHECKSIG

201ac00927d69e49bae237ea1eead4cecf4d2c8c76e71a7586779142d7ebc6a219ac

コントロールブロック

c1720858b2fec11bd1aa710e2c8da338c20e53674b1a4196a730716f2b9ea40b93 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

720858b2fec11bd1aa710e2c8da338c20e53674b1a4196a730716f2b9ea40b93

リーフハッシュ（TapLeaf）

2357211b2e765219e65c55dc8aab32b8f76b346cbd818a51737bdecd36ad7334

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2357211b2e765219e65c55dc8aab32b8f76b346cbd818a51737bdecd36ad7334
2. TapBranch(2357211b…36ad7334, 720858b2…9ea40b93) = 738ae7194d42a5a0b5438ef2297864248349aa6613e1820a37757aae5c62565a

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

738ae7194d42a5a0b5438ef2297864248349aa6613e1820a37757aae5c62565a

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

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

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

a14e968fc23af827fba5dea84a473277ca29ab8b084927f3ac52c1c38b30e6000517388e3e735b41bdfcc29f0f217951929c35fd66bec2aa2f6e2fe48146b9a8