トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

79e86bdc2bf98357a67a7f3e0db49e3eb8e32d3c4e5432780c73c1caa423bee8 OP_CHECKSIG

2079e86bdc2bf98357a67a7f3e0db49e3eb8e32d3c4e5432780c73c1caa423bee8ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

1df39f3c59bcf9d8d1c064ae6dbcda05c1f0a00aa249cf79e2a72d3cc263de2c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1df39f3c59bcf9d8d1c064ae6dbcda05c1f0a00aa249cf79e2a72d3cc263de2c
2. TapBranch(1df39f3c…c263de2c, 46c7eccf…1725e9fa) = 5fd69294817531e6ac94893826fd16cf9c01ede5e395e89a34ca5968c46ed49a

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

5fd69294817531e6ac94893826fd16cf9c01ede5e395e89a34ca5968c46ed49a

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

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

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

4b1919b1ddffe0d2394701a77b2ee0eb1857e6b0c5b2ae1c0abac44129d277cda08f9c513bf8e118d7fa98a2aa85ec6ed8500b9d2c6b9ee7872204c275b82934