package interpreter
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
-
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
- case class CostedProverResult(proof: Array[Byte], extension: ContextExtension, cost: Long) extends ProverResult with Product with Serializable
- trait Interpreter extends ScorexLogging
- trait InterpreterContext extends AnyRef
-
trait
ProverInterpreter extends Interpreter with AttributionCore
Interpreter with enhanced functionality to prove statements.
-
class
ProverResult extends AnyRef
Proof of correctness of tx spending
Value Members
- object ContextExtension extends Serializable
- object CryptoConstants
- object CryptoFunctions
- object Interpreter
- object ProverResult