org.ergoplatform.appkit.SigmaPropInterpreter.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of ergo-appkit_2.11 Show documentation

A Library for Polyglot Development of Ergo Applications

The newest version!

package org.ergoplatform.appkit

import sigmastate.interpreter.{Interpreter, InterpreterContext}

/** Simple light-weight interpreter that don't require IRContext and hence cannot perform
  * script reduction, but it can however verify sigma-protocol propositions [[SigmaProp]].
  */
object SigmaPropInterpreter extends Interpreter {
  override type CTX = InterpreterContext
}