トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4fe5d19c900cdc7bfc2a85fd6ab0a3056a1dba8cd6dc90cc1b9531190df1ab9c OP_CHECKSIG

204fe5d19c900cdc7bfc2a85fd6ab0a3056a1dba8cd6dc90cc1b9531190df1ab9cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

69eb267e2f7f2810c21ade66aad45d854f099dbea56890751a318a44ca56b653

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 69eb267e2f7f2810c21ade66aad45d854f099dbea56890751a318a44ca56b653
2. TapBranch(69eb267e…ca56b653, 46c7eccf…1725e9fa) = 9a969a26beda57a5e3fabccad88a35628e77704edd134029672625a2ae2de429

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

9a969a26beda57a5e3fabccad88a35628e77704edd134029672625a2ae2de429

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

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

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

baa94f0e5e68fc0eb238982fb69c566c0c63175470d3dd2dc8e0df3cd1632450db132a9148c751812b2e42a907df1eb80e7f35b71476ae32bea1c6527d79c0ac