Packages

class ErgoInterpreter extends ErgoLikeInterpreter

ErgoTree language interpreter, Ergo version. In addition to ErgoLikeInterpreter, it contains rules for expired boxes spending validation.

Linear Supertypes
ErgoLikeInterpreter, Interpreter, ScorexLogging, StrictLogging, AnyRef, Any
Known Subclasses
ErgoProvingInterpreter
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ErgoInterpreter
  2. ErgoLikeInterpreter
  3. Interpreter
  4. ScorexLogging
  5. StrictLogging
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ErgoInterpreter(params: ErgoLikeParameters)(implicit IR: IRContext)

    params

    - current values of adjustable blockchain settings

Type Members

  1. type CTX = ErgoLikeContext
    Definition Classes
    ErgoInterpreter → ErgoLikeInterpreter → Interpreter
  2. class MutableCell[T] extends AnyRef
    Definition Classes
    Interpreter
  3. type ProofT = UncheckedTree
    Definition Classes
    Interpreter

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. implicit val IR: IRContext
    Definition Classes
    ErgoLikeInterpreter → Interpreter
  5. def applyDeserializeContext(context: CTX, exp: Value[SType]): (BoolValue, CTX)
    Definition Classes
    Interpreter
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. def calcResult(context: special.sigma.Context, calcF: sigmastate.eval.IRContext.Ref[(sigmastate.eval.IRContext.Context) ⇒ Any]): SigmaProp
    Definition Classes
    Interpreter
  8. def checkCost(context: CTX, exp: Value[SType], costF: sigmastate.eval.IRContext.Ref[((Int, sigmastate.eval.IRContext.Size[sigmastate.eval.IRContext.Context])) ⇒ Int]): Int
    Definition Classes
    Interpreter
  9. def checkExpiredBox(box: ErgoBox, output: ErgoBoxCandidate, currentHeight: ErgoLikeContext.Height): Boolean

    Check that expired box is spent in a proper way

    Check that expired box is spent in a proper way

    box

    - box being spent

    output

    - newly created box

    currentHeight

    - current height of the blockchain (at the moment of spending)

    returns

    whether the box is spent properly according to the storage fee rule

    Attributes
    protected
  10. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  11. val computeCommitments: Strategy
    Definition Classes
    Interpreter
  12. def deserializeMeasured(context: CTX, scriptBytes: Array[Byte]): (CTX, Value[SType])
    Definition Classes
    Interpreter
  13. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. def log: Logger
    Attributes
    protected
    Definition Classes
    ScorexLogging
    Annotations
    @inline()
  19. val logger: Logger
    Attributes
    protected
    Definition Classes
    StrictLogging
  20. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  22. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  23. def propositionFromErgoTree(tree: ErgoTree, ctx: CTX): SigmaPropValue
    Definition Classes
    Interpreter
  24. def reduceToCrypto(context: CTX, exp: Value[SType]): Try[ReductionResult]
    Definition Classes
    Interpreter
  25. def reduceToCrypto(context: CTX, env: ScriptEnv, exp: Value[SType]): Try[ReductionResult]
    Definition Classes
    Interpreter
  26. def substDeserialize(context: CTX, updateContext: (CTX) ⇒ Unit, node: SValue): Option[SValue]
    Definition Classes
    ErgoLikeInterpreter → Interpreter
  27. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  28. def toString(): String
    Definition Classes
    AnyRef → Any
  29. def toValidScriptType(exp: SValue): BoolValue
    Definition Classes
    Interpreter
  30. def verify(env: ScriptEnv, exp: ErgoTree, context: CTX, proof: Array[Byte], message: Array[Byte]): Try[VerificationResult]

    Checks that given exp evaluates to true.

    Checks that given exp evaluates to true.

    env

    - environment to use during expression evaluation

    exp

    - expression to check

    context

    - expression evaluation context

    proof

    - cryptographic proof

    message

    - message

    Definition Classes
    ErgoInterpreter → Interpreter
  31. def verify(exp: ErgoTree, context: CTX, proof: ProofT, message: Array[Byte]): Try[VerificationResult]
    Definition Classes
    Interpreter
  32. def verify(env: ScriptEnv, exp: ErgoTree, context: CTX, proverResult: ProverResult, message: Array[Byte]): Try[VerificationResult]
    Definition Classes
    Interpreter
  33. def verify(exp: ErgoTree, context: CTX, proverResult: ProverResult, message: Array[Byte]): Try[VerificationResult]
    Definition Classes
    Interpreter
  34. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from ErgoLikeInterpreter

Inherited from Interpreter

Inherited from ScorexLogging

Inherited from StrictLogging

Inherited from AnyRef

Inherited from Any

Ungrouped