Skip to content

Language Operations

Sergey Tolmachev edited this page Jan 12, 2018 · 3 revisions
Code Operation Comment
1 LT(left: Value[SInt.type], right: Value[SInt.type])
2 LE(left: Value[SInt.type], right: Value[SInt.type])
3 GT(left: Value[SInt.type], right: Value[SInt.type])
4 GE(left: Value[SInt.type], right: Value[SInt.type])
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.type]])
8 AND(input: Value[SCollection[SBoolean.type]])
9 CAND(sigmaTrees: Seq[SigmaTree])
10 COR(sigmaTrees: Seq[SigmaTree])
11 Plus(left: Value[SInt.type], right: Value[SInt.type])
12 Minus(left: Value[SInt.type], right: Value[SInt.type])
13 Xor(left: Value[SByteArray.type], right: Value[SByteArray.type])
14 AppendBytes(left: Value[SByteArray.type], right: Value[SByteArray.type])
15 Exponentiate(left: Value[SGroupElement.type], right: Value[SBigInt.type])
16 MultiplyGroup(left: Value[SGroupElement.type], right: Value[SGroupElement.type])
17 IntToByteArray(input: Value[SInt.type])
18 ByteArrayToBigInt(input: Value[SByteArray.type])
19 CalcBlake2b256(input: Value[SByteArray.type])
20 ProveDiffieHellmanTuple(gv: Value[SGroupElement.type], hv: Value[SGroupElement.type], uv: Value[SGroupElement.type], vv: Value[SGroupElement.type])
21 IsMember(tree: Value[SAvlTree.type], key: Value[SByteArray.type], proof: Value[SByteArray.type])
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.type])
46 Height ???
47 ExtractAmount(input: Value[SBox.type])
48 ExtractScript(input: Value[SBox.type])
49 ExtractBytes(input: Value[SBox.type])
50 ExtractId(input: Value[SBox.type])
51 ExtractRegisterAs[V <: SType](input: Value[SBox.type], registerId: RegisterIdentifier, default: Option[Value[V]] = None)
52 TxOutput(outIndex: Int)
53 ProveDlog(value: Value[SGroupElement.type])

???

UnknownByteArray

TaggedVariable

SGroupElement

Blockchain related objects (BoxLeafConstant, SAvlTree (AvlTreeData))

Height

Clone this wiki locally