トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

46771ad77e03e4b968041245697fb627eb566a859e7ddb422245bf35d9df09f3 OP_CHECKSIG

2046771ad77e03e4b968041245697fb627eb566a859e7ddb422245bf35d9df09f3ac

コントロールブロック

c120d86c201ae979f99a74f755a2c613fea4a5b715e5dac85c9c31d2f08efa2cf7 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

20d86c201ae979f99a74f755a2c613fea4a5b715e5dac85c9c31d2f08efa2cf7

リーフハッシュ（TapLeaf）

3a6afdecb931d417a631f98dd549deb9819ea6e147e4cace67531952e6bc671e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3a6afdecb931d417a631f98dd549deb9819ea6e147e4cace67531952e6bc671e
2. TapBranch(3a6afdec…e6bc671e, 20d86c20…8efa2cf7) = a57fc4f74fcacdbd03a10ed156a6515a78dc452d716c3e78500e7ca1e1938d31

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

a57fc4f74fcacdbd03a10ed156a6515a78dc452d716c3e78500e7ca1e1938d31

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

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

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

b1db5a8b9aeea85a3222926e9571450d4303ffa1255998ddf7198dfc592cc795ba0dec9829d408c5a99014be3a3fd6fc4314d0494b85dee4b5883e4c543c44a3