トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

16672f0b797e0288c8c9d228450629e783d413285ac329b672a666a4e79ecf34 OP_CHECKSIG

2016672f0b797e0288c8c9d228450629e783d413285ac329b672a666a4e79ecf34ac

コントロールブロック

c130a488273a071d1f9af3529ee5a1f56f707fc6da9717f19bf41f8db6fb53faf2 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

30a488273a071d1f9af3529ee5a1f56f707fc6da9717f19bf41f8db6fb53faf2

リーフハッシュ（TapLeaf）

58f87c957558dfbd9ae06b871e48a25265464f5cc208f323c805d531d8fdcc03

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 58f87c957558dfbd9ae06b871e48a25265464f5cc208f323c805d531d8fdcc03
2. TapBranch(58f87c95…d8fdcc03, 30a48827…fb53faf2) = fc4d8be10af174e483c7f0f33362ed001c4bfa6634713c366f58880e34a49292

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

fc4d8be10af174e483c7f0f33362ed001c4bfa6634713c366f58880e34a49292

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

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

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

3f021540b6884b960f7952d33b2fb2afd5f4d11f8bd810dc72667cf72f42cfa1072180ddfe2ca6782aba9093fd3d7ffdc4e85f4e5997f59dc6792701f9dcdd3d