Interpreter

Type Members

case class ReductionResult(value: SigmaBoolean, cost: Long) extends Product with Serializable

Result of ErgoTree reduction procedure by JIT-based interpreter (see fullReduction, reduceToCrypto and friends).
Result of ErgoTree reduction procedure by JIT-based interpreter (see fullReduction, reduceToCrypto and friends).
value
the value of SigmaProp type which represents a logical statement verifiable via sigma protocol.
cost
the estimated cost of the contract execution (in block's scale).
type ScriptEnv = Map[String, Any]

Represents properties of interpreter invocation.
type VerificationResult = (Boolean, Long)

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.

Value Members

final def !=(arg0: Any): Boolean

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

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

Definition Classes
AnyRef → Any
final val ComputeCommitments_DHT: OperationCostInfo[FixedCost]

Represents the cost of computing DiffieHellmanTupleInteractiveProver.computeCommitment.
final val ComputeCommitments_Schnorr: OperationCostInfo[FixedCost]

Represents the cost of computing DLogInteractiveProver.computeCommitment.
final val Eval_SigmaPropConstant: OperationCostInfo[FixedCost]

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.
final val ProveDHTupleVerificationCost: JitCost

Verification cost of each ProveDHTuple node of SigmaBoolean proposition tree.
final val ProveDlogVerificationCost: JitCost

Verification cost of each ProveDlog node of SigmaBoolean proposition tree.
val ScriptNameProp: String

Property name used to store script name.
def WhenSoftForkReductionResult(cost: Long): ReductionResult

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.
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
val emptyEnv: ScriptEnv

Empty interpreter properties.
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def error(msg: String): Nothing

Helper method to throw errors from Interpreter.
def estimateCryptoVerifyCost(sb: SigmaBoolean): JitCost

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.
sb
sigma proposition
returns
estimated cost of verification of the given proposition in JIT scale
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
val interpreterInitCost: Int

Initial cost of instantiating an interpreter and creating ErgoLikeContext.
Initial cost of instantiating an interpreter and creating ErgoLikeContext. Added once per transaction.
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
val verifySignatureProfiler: Profiler

An instance of profiler used to measure cost parameters of verifySignature operations.
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: trait Interpreter | package interpreter

object Interpreter

Type Members

case class ReductionResult(value: SigmaBoolean, cost: Long) extends Product with Serializable

type ScriptEnv = Map[String, Any]

type VerificationResult = (Boolean, Long)

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final val ComputeCommitments_DHT: OperationCostInfo[FixedCost]

final val ComputeCommitments_Schnorr: OperationCostInfo[FixedCost]

final val Eval_SigmaPropConstant: OperationCostInfo[FixedCost]

final val ProveDHTupleVerificationCost: JitCost

final val ProveDlogVerificationCost: JitCost

val ScriptNameProp: String

def WhenSoftForkReductionResult(cost: Long): ReductionResult

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val emptyEnv: ScriptEnv

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def error(msg: String): Nothing

def estimateCryptoVerifyCost(sb: SigmaBoolean): JitCost

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

val interpreterInitCost: Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

val verifySignatureProfiler: Profiler

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped