Maximum version of ErgoTree currently activated on the network.
Maximum version of ErgoTree currently activated on the network. The activation is
performed via miners voting.
The maximum version supported by the interpreter is defined by
Interpreter.MaxSupportedScriptVersion
. As a result, the execution of the
Interpreter.verify
method depends on the relation between
max supported and activated version. (see docs/aot-jit-switch.md).
Hard limit on accumulated execution cost.
Hard limit on accumulated execution cost. Exceeding it leads to CostLimitException to be thrown.
Prover-defined key-value pairs, that may be used inside a script.
Initial value of execution cost already accumulated before Interpreter.verify
(or
prove
) is called.
Creates special.sigma.Context
instance based on this context.
Creates special.sigma.Context
instance based on this context. The created instance
contains all data represented using types form special.sigma package.
These types are used internally by ErgoTree interpreter.
Thus, this method performs transformation from Ergo to internal Sigma representation
of all context data.
sigmastate.eval.Evaluation
Validation parameters passed to Interpreter.verify to detect soft-fork conditions.
Creates a new instance with costLimit updated with given value.
Creates a new instance with extension updated with given value.
Creates a new instance with initCost updated with given value.
Creates a new instance with given validation settings.
Creates a new instance with given bindings added to extension.
(Since version ) see corresponding Javadoc for more information.
Base class of the context passed to verifier and prover.
sigmastate.interpreter.Interpreter