Result of ErgoTree reduction procedure (see reduceToCrypto
and friends).
Result of ErgoTree reduction procedure (see reduceToCrypto
and friends).
The first component is the value of SigmaProp type which represents a statement
verifiable via sigma protocol.
The second component is the estimated cost of consumed by the contract execution.
Result of Box.ergoTree verification procedure (see verify
method).
Result of Box.ergoTree verification procedure (see verify
method).
The first component is the value of Boolean type which represents a result of
SigmaProp condition verification via sigma protocol.
The second component is the estimated cost of contract execution.
Maximum version of ErgoTree supported by this interpreter release.
Maximum version of ErgoTree supported by this interpreter release.
See version bits in ErgoTree.header
for more details.
This value should be increased with each new protocol update via soft-fork.
The following values are used for current and upcoming forks:
- version 3.x this value must be 0
- in v4.0 must be 1
- in v5.x must be 2
etc.
The result of script reduction when soft-fork condition is detected by the old node, in which case the script is reduced to the trivial true proposition and takes up 0 cost.
Executes the given calcF
graph in the given context.
Executes the given calcF
graph in the given context.
container of the graph (see IRContext)
script execution context (built from org.ergoplatform.ErgoLikeContext)
graph which represents a reduction function from Context to SigmaProp.
a reduction result
Special helper function which converts the given expression to expression returning boolean or throws an exception if the conversion is not defined.