package sigma
The following implicit values are used as type descriptors of all the predefined Sigma types.
- See also
RType class
- Alphabetic
- By Inheritance
- sigma
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- trait AnyValue extends AnyRef
Represents any value paired with type descriptor.
- trait AvlTree extends AnyRef
Type of data which efficiently authenticates potentially huge dataset having key-value dictionary interface.
Type of data which efficiently authenticates potentially huge dataset having key-value dictionary interface. Only root hash of dynamic AVL+ tree, tree height, key length, optional value length, and access flags are stored in an instance of the datatype.
Please note that standard hash function from
scorex.crypto.hash
is used, and height is stored along with root hash of the tree, thusdigest
size is always CryptoConstants.hashLength + 1 bytes.This interface is used as runtime representation of the AvlTree type of ErgoTree.
- trait AvlTreeVerifier extends AnyRef
Represents operations of AVL tree verifier in an abstract (implementation independent) way which allows declaration of the AvlTree.createVerifier() method.
- trait BigInt extends AnyRef
All
modQ
operations assume that Q is a global constant (an order of the only one cryptographically strong group which is used for all cryptographic operations).All
modQ
operations assume that Q is a global constant (an order of the only one cryptographically strong group which is used for all cryptographic operations). So it is globally and implicitly used in all methods. - trait Box extends AnyRef
Runtime representation of Ergo boxes used during execution of ErgoTree operations.
Runtime representation of Ergo boxes used during execution of ErgoTree operations.
- See also
- trait Context extends AnyRef
Runtime representation of Context ErgoTree type.
Runtime representation of Context ErgoTree type. Represents data available in Sigma language using
CONTEXT
global variable. - trait GroupElement extends AnyRef
Base class for points on elliptic curves.
- trait Header extends AnyRef
Represents data of the block header available in Sigma propositions.
- trait PreHeader extends AnyRef
Only header fields that can be predicted by a miner.
- trait SigmaContract extends AnyRef
Shortcut declarations for methods of global object (aka SigmaDslBuilder).
Shortcut declarations for methods of global object (aka SigmaDslBuilder). Every methods delegates to the corresponding method of
builder
, look there for details. - trait SigmaDsl extends Base
- trait SigmaDslBuilder extends AnyRef
Runtime representation of SGlobal ErgoTree type.
Runtime representation of SGlobal ErgoTree type. The only instance of SGlobal type can be referenced as
Global
variable in ErgoScript. It is represented as org.ergoplatform.Global node of ErgoTree, which evaluates to the default singleton instance of this interface.CostingSigmaDslBuilder object serves as the default singleton instance of Global object, which implements global ErgoTree functions.
- See also
SGlobal.WrappedType, CostingSigmaDslBuilder
- trait SigmaDslModule extends Scalan with SigmaDslDefs
- trait SigmaProp extends AnyRef
Proposition which can be proven and verified by sigma protocol.
Value Members
- implicit val AnyValueRType: RType[AnyValue]
- implicit val AvlTreeRType: RType[AvlTree]
- implicit val BigIntRType: RType[BigInt]
- implicit val BigIntegerRType: RType[BigInteger]
- implicit val BoxRType: RType[Box]
- implicit val ContextRType: RType[Context]
- implicit val GroupElementRType: RType[GroupElement]
- implicit val HeaderRType: RType[Header]
- implicit val PreHeaderRType: RType[PreHeader]
- implicit val SigmaContractRType: RType[SigmaContract]
- implicit val SigmaDslBuilderRType: RType[SigmaDslBuilder]
- implicit val SigmaPropRType: RType[SigmaProp]
- val reflection: CoreLibReflection.type
Forces reflection data initialization