Result of fullReduction to sigma tree with costing.
Result of ErgoTree reduction procedure by JIT-based interpreter (see
reduceToCrypto
and friends).
Result of ErgoTree reduction procedure by JIT-based interpreter (see
reduceToCrypto
and friends).
the value of SigmaProp type which represents a logical statement verifiable via sigma protocol.
the estimated cost of the contract execution (in block's scale).
Result of ErgoTree reduction procedure (see fullReduction
)
Represents properties of interpreter invocation.
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.
Represents the cost of computing DiffieHellmanTupleInteractiveProver.computeCommitment.
Represents the cost of computing DLogInteractiveProver.computeCommitment.
Represents the cost spent by JIT evaluator on a simple ErgoTree containing SigmaPropConstant.
Represents the cost spent by JIT evaluator on a simple ErgoTree containing SigmaPropConstant. It doesn't include cost of crypto verification.
Verification cost of each ProveDHTuple node of SigmaBoolean proposition tree.
Verification cost of each ProveDlog node of SigmaBoolean proposition tree.
Property name used to store script name.
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.
Empty interpreter properties.
Helper method to throw errors from Interpreter.
Computes the estimated cost of verification of sigma proposition.
Computes the estimated cost of verification of sigma proposition. The cost is estimated ahead of time, without actually performing expencive crypto operations.
sigma proposition
estimated cost of verification of the given proposition in JIT scale
An instance of profiler used to measure cost parameters of verifySignature operations.