interpreter

Type Members

1. case class ContextExtension(values: Map[Byte, EvaluatedValue[_ <: SType]]) extends Product with Serializable

   

   User-defined variables to be put into context

   User-defined variables to be put into context

   values

   - key-value pairs

2. case class CostedProverResult(proof: Array[Byte], extension: ContextExtension, cost: Long) extends ProverResult with Product with Serializable

   

3. trait Interpreter extends ScorexLogging

   

4. trait InterpreterContext extends AnyRef

   

5. trait ProverInterpreter extends Interpreter with AttributionCore

   

   Interpreter with enhanced functionality to prove statements.

6. class ProverResult extends AnyRef

   

   Proof of correctness of tx spending