Language Operations

Code Operation Comment
1 LT(left: Value[SInt], right: Value[SInt])
2 LE(left: Value[SInt], right: Value[SInt])
3 GT(left: Value[SInt], right: Value[SInt])
4 GE(left: Value[SInt], right: Value[SInt])
5 EQ[T1 <: SType, T2 <: SType](left: Value[T1], right: Value[T2])
6 NEQ[T1 <: SType, T2 <: SType](left: Value[T1], right: Value[T2])
7 OR(input: Value[SCollection[SBoolean]])
8 AND(input: Value[SCollection[SBoolean]])
9 CAND(sigmaTrees: Seq[SigmaTree])
10 COR(sigmaTrees: Seq[SigmaTree])
11 Plus(left: Value[SInt], right: Value[SInt])
12 Minus(left: Value[SInt], right: Value[SInt])
13 Xor(left: Value[SByteArray], right: Value[SByteArray])
14 AppendBytes(left: Value[SByteArray], right: Value[SByteArray])
15 Exponentiate(left: Value[SGroupElement], right: Value[SBigInt])
16 MultiplyGroup(left: Value[SGroupElement], right: Value[SGroupElement])
17 IntToByteArray(input: Value[SInt])
18 ByteArrayToBigInt(input: Value[SByteArray])
19 CalcBlake2b256(input: Value[SByteArray])
20 ProveDiffieHellmanTuple(gv: Value[SGroupElement], hv: Value[SGroupElement], uv: Value[SGroupElement], vv: Value[SGroupElement])
21 IsMember(tree: Value[SAvlTree], key: Value[SByteArray], proof: Value[SByteArray])
22 IntConstant(value: Long)
23 TaggedInt(id: Byte)
24 BigIntConstant(value: BigInteger)
25 TaggedBigInt(id: Byte)
26 ByteArrayConstant(value: Array[Byte])
27 TaggedByteArray(id: Byte)
28 PropConstant(value: Array[Byte])
29 TaggedProp(id: Byte)
30 AvlTreeConstant(value: AvlTreeData)
31 TaggedAvlTree(id: Byte)
32 GroupElementConstant(value: GroupElement)
33 GroupGenerator
34 TaggedGroupElement(id: Byte)
35 BooleanConstant(val value: Boolean)
36 TaggedBoolean(id: Byte)
37 TaggedBox(id: Byte)
38 ConcreteCollection[V <: SType](value: IndexedSeq[Value[V]])
39 MapCollection[IV <: SType, OV <: SType](input: Value[SCollection[IV]], id: Byte, mapper: Transformer[IV, OV])
40 Exists[IV <: SType](input: Value`[SCollection[IV]], id: Byte, relations: Relation[, ]*)
41 ForAll[IV <: SType](input: Value[SCollection[IV]], id: Byte, relations: Relation[, ]*)
42 Fold[IV <: SType](input: Value[SCollection[IV]], id: Byte, zero: Value[IV], accId: Byte, foldOp: TwoArgumentsOperation[IV, IV, IV])
43 ByIndex[V <: SType](input: Value[SCollection[V]], index: Int)
44 SizeOf[V <: SType](input: Value[SCollection[V]])
45 ExtractHeight(input: Value[SBox])
46 Height ???
47 ExtractAmount(input: Value[SBox])
48 ExtractScript(input: Value[SBox])
49 ExtractBytes(input: Value[SBox])
50 ExtractId(input: Value[SBox])
51 ExtractRegisterAs[V <: SType](input: Value[SBox], registerId: RegisterIdentifier, default: Option[Value[V]] = None)
52 TxOutput(outIndex: Int)
53 ProveDlog(value: Value[SGroupElement])

UnknownByteArray

TaggedVariable

SGroupElement

Blockchain related objects (BoxLeafConstant, SAvlTree (AvlTreeData))

Height