The proposition which checks that contextVar(1)
has original script,
which evaluates to true and also whose hash equals to this scriptHash
.
The proposition which checks that contextVar(1)
has original script,
which evaluates to true and also whose hash equals to this scriptHash
.
Assumes the context variable accessed as getVar[Coll[Byte]](1) to contain serialized original script bytes.
ErgoLikeInterpreterSpecification."P2SH - 160 bits" test similar script checked in "P2SH - 160 bits" test in sigma repository, but here we use 192 bits