-
Notifications
You must be signed in to change notification settings - Fork 41
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))