トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2167e06c3ed16f480dd0a2f45f20ee0d753596cbba80c90f714452a998b9dc92 OP_CHECKSIG

202167e06c3ed16f480dd0a2f45f20ee0d753596cbba80c90f714452a998b9dc92ac

コントロールブロック

c1ee1ad6b237026a2d7a4f6bc74561de9a05857cd332e91612f946e33ad3f2fa8a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

ee1ad6b237026a2d7a4f6bc74561de9a05857cd332e91612f946e33ad3f2fa8a

リーフハッシュ（TapLeaf）

dea87bbb41f29ed9b5de354dfd584ed5693f0079fc69bdc3a420b61cb068f49c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = dea87bbb41f29ed9b5de354dfd584ed5693f0079fc69bdc3a420b61cb068f49c
2. TapBranch(dea87bbb…b068f49c, ee1ad6b2…d3f2fa8a) = 9270b7f9a3ee2008af3495c218b3b673fc1ef65ba7a16949444f181da6562662

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

9270b7f9a3ee2008af3495c218b3b673fc1ef65ba7a16949444f181da6562662

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

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

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

beaaf1ef830955af1d476ee400d78413f992c22a91620114c5e9a3b146edbdea9972a6e96b01e37502cbf087ffc82161d22a11f072ce494eeef2877b8053d457