Class

org.ergoplatform

ErgoLikeInterpreter

Related Doc: package ergoplatform

Permalink

class ErgoLikeInterpreter extends Interpreter

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

Instance Constructors

  1. new ErgoLikeInterpreter()(implicit IR: IRContext)

    Permalink

Type Members

  1. abstract type CTX <: ErgoLikeContext

    Permalink
    Definition Classes
    ErgoLikeInterpreterInterpreter
  2. class MutableCell[T] extends AnyRef

    Permalink
    Definition Classes
    Interpreter
  3. type ProofT = UncheckedTree

    Permalink
    Definition Classes
    Interpreter

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. implicit val IR: IRContext

    Permalink
    Definition Classes
    ErgoLikeInterpreterInterpreter
  5. def applyDeserializeContext(context: CTX, exp: Value[SType]): (BoolValue, CTX)

    Permalink

    Substitute Deserialize* nodes with deserialized subtrees We can estimate cost of the tree evaluation only after this step.

    Substitute Deserialize* nodes with deserialized subtrees We can estimate cost of the tree evaluation only after this step.

    Definition Classes
    Interpreter
  6. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  7. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. val computeCommitments: Strategy

    Permalink

    Verifier Step 4: For every leaf node, compute the commitment a from the challenge e and response $z$, per the verifier algorithm of the leaf's Sigma-protocol.

    Verifier Step 4: For every leaf node, compute the commitment a from the challenge e and response $z$, per the verifier algorithm of the leaf's Sigma-protocol. If the verifier algorithm of the Sigma-protocol for any of the leaves rejects, then reject the entire proof.

    Definition Classes
    Interpreter
  9. def deserializeMeasured(context: CTX, scriptBytes: Array[Byte]): (CTX, Value[SType])

    Permalink

    Deserializes given script bytes using ValueSerializer (i.e.

    Deserializes given script bytes using ValueSerializer (i.e. assuming expression tree format). It also measures tree complexity adding to the total estimated cost of script execution. The new returned context contains increased initCost and should be used for further processing.

    The method SHOULD be called only inside trySoftForkable scope, to make deserialization soft-forkable.

    NOTE: While ErgoTree is always of type SigmaProp, ValueSerializer can serialize expression of any type. So it cannot be replaced with ErgoTreeSerializer here.

    Definition Classes
    Interpreter
  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. def fullReduction(ergoTree: ErgoTree, context: CTX, env: ScriptEnv): (SigmaBoolean, Long)

    Permalink

    Full reduction of initial expression given in the ErgoTree form to a SigmaBoolean value (which encodes whether a sigma-protocol proposition or a boolean value, so true or false).

    Full reduction of initial expression given in the ErgoTree form to a SigmaBoolean value (which encodes whether a sigma-protocol proposition or a boolean value, so true or false).

    Works as follows: 1) parse ErgoTree instance into a typed AST 2) go bottom-up the tree to replace DeserializeContext nodes only 3) estimate cost and reduce the AST to a SigmaBoolean instance (so sigma-tree or trivial boolean value)

    ergoTree

    - input ErgoTree expression to reduce

    context

    - context used in reduction

    env

    - script environment

    returns

    sigma boolean and the updated cost counter after reduction

    Definition Classes
    Interpreter
  14. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  15. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  16. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  17. def log: Logger

    Permalink
    Attributes
    protected
    Definition Classes
    ScorexLogging
    Annotations
    @inline()
  18. val logger: Logger

    Permalink
    Attributes
    protected
    Definition Classes
    StrictLogging
  19. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  21. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. def propositionFromErgoTree(ergoTree: ErgoTree, context: CTX): SigmaPropValue

    Permalink

    Extracts proposition for ErgoTree handing soft-fork condition.

    Extracts proposition for ErgoTree handing soft-fork condition.

    Definition Classes
    Interpreter
    Note

    soft-fork handler

  23. def reduceToCrypto(context: CTX, exp: Value[SType]): Try[ReductionResult]

    Permalink
    Definition Classes
    Interpreter
  24. def reduceToCrypto(context: CTX, env: ScriptEnv, exp: Value[SType]): Try[ReductionResult]

    Permalink

    This method is used in both prover and verifier to compute SigmaBoolean value.

    This method is used in both prover and verifier to compute SigmaBoolean value. As the first step the cost of computing the exp expression in the given context is estimated. If cost is above limit then exception is returned and exp is not executed else exp is computed in the given context and the resulting SigmaBoolean returned.

    context

    the context in which exp should be executed

    env

    environment of system variables used by the interpreter internally

    exp

    expression to be executed in the given context

    returns

    result of script reduction

    Definition Classes
    Interpreter
    See also

    ReductionResult

  25. def substDeserialize(context: CTX, updateContext: (CTX) ⇒ Unit, node: SValue): Option[SValue]

    Permalink

    updateContext

    call back to setup new context (with updated cost limit) to be passed next time

    Definition Classes
    ErgoLikeInterpreterInterpreter
  26. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  27. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  28. def toValidScriptType(exp: SValue): BoolValue

    Permalink
    Definition Classes
    Interpreter
  29. def verify(ergoTree: ErgoTree, context: CTX, proof: ProofT, message: Array[Byte]): Try[VerificationResult]

    Permalink
    Definition Classes
    Interpreter
  30. def verify(env: ScriptEnv, ergoTree: ErgoTree, context: CTX, proverResult: ProverResult, message: Array[Byte]): Try[VerificationResult]

    Permalink
    Definition Classes
    Interpreter
  31. def verify(ergoTree: ErgoTree, context: CTX, proverResult: ProverResult, message: Array[Byte]): Try[VerificationResult]

    Permalink
    Definition Classes
    Interpreter
  32. def verify(env: ScriptEnv, ergoTree: ErgoTree, context: CTX, proof: Array[Byte], message: Array[Byte]): Try[VerificationResult]

    Permalink

    Executes the script in a given context.

    Executes the script in a given context. Step 1: Deserialize context variables Step 2: Evaluate expression and produce SigmaProp value, which is zero-knowledge statement (see also SigmaBoolean). Step 3: Verify that the proof is presented to satisfy SigmaProp conditions.

    env

    environment of system variables used by the interpreter internally

    ergoTree

    ErgoTree expression to execute in the given context and verify its result

    context

    the context in which exp should be executed

    proof

    The proof of knowledge of the secrets which is expected by the resulting SigmaProp

    message

    message bytes, which are used in verification of the proof

    returns

    verification result or Exception. If if the estimated cost of execution of the exp exceeds the limit (given in context), then exception if thrown and packed in Try. If left component is false, then: 1) script executed to false or 2) the given proof failed to validate resulting SigmaProp conditions.

    Definition Classes
    Interpreter
    See also

    reduceToCrypto

  33. def verifySignature(sigmaTree: SigmaBoolean, message: Array[Byte], signature: Array[Byte]): Boolean

    Permalink

    Verify a signature on given (arbitrary) message for a given public key.

    Verify a signature on given (arbitrary) message for a given public key.

    sigmaTree

    - public key (represented as a tree)

    message

    - message

    signature

    - signature for the message

    returns

    - whether signature is valid or not

    Definition Classes
    Interpreter
  34. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Interpreter

Inherited from ScorexLogging

Inherited from StrictLogging

Inherited from AnyRef

Inherited from Any

Ungrouped