sigmastate.eval.IRContext.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sigma-state_2.12 Show documentation

Interpreter of a Sigma-State language

The newest version!

package sigmastate.eval

import sigma.ast.TransformingSigmaBuilder
import sigma.data.CSigmaDslBuilder

import java.util.concurrent.locks.ReentrantLock
import scala.util.Try

/** Main interface of graph IR context which contain both GraphBuilding and TreeBuilding
  * methods.
  * It is not used in v5.0 interpreter and thus not part of consensus.
  *
  * @see RuntimeIRContext, CompiletimeIRContext
  */
trait IRContext extends TreeBuilding with GraphBuilding {
  import SigmaProp._

  private val SigmaM = SigmaPropMethods

  override val builder = TransformingSigmaBuilder

  /** Can be used to synchronize access to this IR object from multiple threads. */
  val lock = new ReentrantLock()

  /** Pass configuration which is used to turn-off constant propagation.
    * @see `beginPass(noCostPropagationPass)`  */
  lazy val noConstPropagationPass = new DefaultPass(
    "noCostPropagationPass",
    Pass.defaultPassConfig.copy(constantPropagation = false))

  /** The value of Global ErgoTree operation */
  val sigmaDslBuilderValue = CSigmaDslBuilder

  /** Finds SigmaProp.isProven method calls in the given Lambda `f` */
  def findIsProven[T](f: Ref[Context => T]): Option[Sym] = {
    val Def(Lambda(lam,_,_,_)) = f
    val s = lam.flatSchedule.find(sym => sym.node match {
      case SigmaM.isValid(_) => true
      case _ => false
    })
    s
  }

  /** Checks that if SigmaProp.isProven method calls exists in the given Lambda's schedule,
    * then it is the last operation. */
  def verifyIsProven[T](f: Ref[Context => T]): Try[Unit] = {
    val isProvenOpt = findIsProven(f)
    Try {
      isProvenOpt match {
        case Some(s) =>
          if (f.getLambda.y != s) !!!(s"Sigma.isProven found in none-root position", s)
        case None =>
      }
    }
  }
}

/** IR context to be used by blockchain nodes to validate transactions. */
class RuntimeIRContext extends IRContext {
}

/** IR context to be used by script development tools to compile ErgoScript into ErgoTree bytecode. */
class CompiletimeIRContext extends IRContext {
}