トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ae0381919c9d039b842f9f42097e7430d77e5b9a11a2022dfc00f01e624ebf41 OP_CHECKSIG

20ae0381919c9d039b842f9f42097e7430d77e5b9a11a2022dfc00f01e624ebf41ac

コントロールブロック

c1b6fe758302ceb5c727c04ce3a23be560a99d563af7301d1825e3c3ac015e76d4 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

b6fe758302ceb5c727c04ce3a23be560a99d563af7301d1825e3c3ac015e76d4

リーフハッシュ（TapLeaf）

f9e7e4481e15881d6203d79201944aae40ca5098bc705f6cd9b304baa8681a90

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f9e7e4481e15881d6203d79201944aae40ca5098bc705f6cd9b304baa8681a90
2. TapBranch(f9e7e448…a8681a90, b6fe7583…015e76d4) = d89f46c7ee2d76146e125b6cdb56947019eaee0b3f7c9d9397bd04bbc218825b

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

d89f46c7ee2d76146e125b6cdb56947019eaee0b3f7c9d9397bd04bbc218825b

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

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

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

8fccc44e2eddb773a93b6e64c2ade3242e14b8c2c37740f410b570e4ecad521993453f8b298eeebab2b856cd3b7e0c1a131a5a9fbe5868f8c07070950e727b3b