A contract environment which defines named constants used in the contract.
A contract environment which defines named constants used in the contract. Should be defined in SigmaContract implementations.
Instance of contract specification DSL, which can be imported in the body of SigmaContract implementations.
Helper method to support Scala <-> ErgoScript equivalence.
Creates new environment with the given named constants.
Call this function in SigmaContract implementations to define propositions.
Call this function in SigmaContract implementations to define propositions.
name of the proposition (aka contract name)
Scala lambda of type Proposition which defines contract semantics and can be executed directly.
ErgoScript representation of the contract.
optional script version to be used in ErgoTree. If None then ergoTreeVersionInTests is used.
proposition specification with compiled ErgoTree.
The default verifier which represents miner's role in verification of transactions.
The default verifier which represents miner's role in verification of transactions. It can be overriden in derived classes.
Defines methods to be used in contract implementations based on SigmaContract.