docs
API
Generated with
docs/scalus/scalus.uplc/scalus.uplc.eval/CekMachine

CekMachine

scalus.uplc.eval.CekMachine
class CekMachine(val params: MachineParams, budgetSpender: BudgetSpender, logger: Logger, platformSpecific: PlatformSpecific) extends BuiltinsMeaning

CEK machine implementation based on Cardano Plutus CEK machine.

The CEK machine is a stack-based abstract machine that is used to evaluate UPLC terms.

Value parameters

budgetSpender

The budget spender implementation

logger

The logger implementation

params

The machine parameters MachineParams

platformSpecific

The platform specific implementation of certain functions used by builtins

Attributes

See also
Note

The machine is stateless and can be reused for multiple evaluations. All the state is expected to be in the budgetSpender and logger implementations.

Example 
 val term = LamAbs("x", Apply(Var(NamedDeBruijn("x", 0)), Var(NamedDeBruijn("x", 0))))
 val cek = new CekMachine(MachineParams.defaultParams, NoBudgetSpender, NoLogger, JVMPlatformSpecific)
 val res = cek.runCek(term)
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def evaluateTerm(term: Term): Term

Evaluates a UPLC term.

Evaluates a UPLC term.

Value parameters

term

The debruijned term to evaluate

Attributes

Returns

The resulting term

Inherited methods

def mkMeaning(t: TypeScheme, f: (logger: Logger, args: Seq[CekValue]) => CekValue, costFunction: CostingFun): BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning

Concrete fields

Inherited fields

val AddInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val AppendByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val AppendString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val BData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Blake2b_224: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Blake2b_256: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_add: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_compress: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_equal: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_hashToGroup: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_neg: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_scalarMul: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G1_uncompress: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_add: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_compress: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_equal: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_hashToGroup: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_neg: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_scalarMul: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_G2_uncompress: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_finalVerify: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_millerLoop: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Bls12_381_mulMlResult: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val BuiltinMeanings: Map[DefaultFun, BuiltinRuntime]

Attributes

Inherited from:
BuiltinsMeaning
val ByteStringToInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ChooseData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ChooseList: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ChooseUnit: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ConsByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ConstrData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val DecodeUtf8: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val DivideInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val EncodeUtf8: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val EqualsByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val EqualsData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val EqualsInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val EqualsString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val FstPair: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val HeadList: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val IData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val IfThenElse: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val IndexByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val IntegerToByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Keccak_256: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val LengthOfByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val LessThanByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val LessThanEqualsByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val LessThanEqualsInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val LessThanInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ListData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MapData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MkCons: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MkNilData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MkNilPairData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MkPairData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val ModInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val MultiplyInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val NullList: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val QuotientInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val RemainderInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val SerialiseData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Sha2_256: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Sha3_256: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val SliceByteString: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val SndPair: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val SubtractInteger: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val TailList: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val Trace: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val UnBData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val UnConstrData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val UnIData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val UnListData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val UnMapData: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning
val VerifyEd25519Signature: BuiltinRuntime

Attributes

Inherited from:
BuiltinsMeaning

Extensions

Inherited extensions

extension (x: DefaultUni)
infix def $(t: String): TypeScheme

Attributes

Inherited from:
BuiltinsMeaning
infix def $(t: TypeScheme): TypeScheme

Attributes

Inherited from:
BuiltinsMeaning
def ->:(t: DefaultUni): TypeScheme

Attributes

Inherited from:
BuiltinsMeaning
Generated with