トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

43f4ed31dea4bb5b315532abfb275595d390c67e622da1f884bd0eba5f5e2f90 OP_CHECKSIG

2043f4ed31dea4bb5b315532abfb275595d390c67e622da1f884bd0eba5f5e2f90ac

コントロールブロック

c1f53975edf88c4471b5b3b3113c5b82dae7ed02449efa5c6566a8063318b2a0f9 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

f53975edf88c4471b5b3b3113c5b82dae7ed02449efa5c6566a8063318b2a0f9

リーフハッシュ（TapLeaf）

8b44ef169a897c137d0a3c71208ec7518b1159c08daccf7c78a7139c1ecb1e0e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8b44ef169a897c137d0a3c71208ec7518b1159c08daccf7c78a7139c1ecb1e0e
2. TapBranch(8b44ef16…1ecb1e0e, f53975ed…18b2a0f9) = beeab04a7e52da4e3e4fe9fc33d4e5eb4d015c2379dcdff3583249f72e6542d7

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

beeab04a7e52da4e3e4fe9fc33d4e5eb4d015c2379dcdff3583249f72e6542d7

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

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

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

17af19b2588cb2c4eb5491e8e35563250bc2ba6f219a5364650c9313f5bdc32821257e4753080fabcd544ef29881b3288d4927d37b67efe514c90933412563cf