Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  def Collection[T](items: scalan.SigmaLibrary.Ref[T]*)(implicit cT: scalan.SigmaLibrary.Elem[T]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[T]]

   Definition Classes

   SigmaContractAdapter → SigmaContract

5.  def allOf(conditions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Boolean]]): scalan.SigmaLibrary.Ref[Boolean]

   Definition Classes

   SigmaContract

6.  def allZK(conditions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[scalan.SigmaLibrary.SigmaProp]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]

   Definition Classes

   SigmaContract

7.  def anyOf(conditions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Boolean]]): scalan.SigmaLibrary.Ref[Boolean]

   Definition Classes

   SigmaContract

8.  def anyZK(conditions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[scalan.SigmaLibrary.SigmaProp]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]

   Definition Classes

   SigmaContract

9.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

10.  def atLeast(bound: scalan.SigmaLibrary.Ref[Int], props: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[scalan.SigmaLibrary.SigmaProp]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]

    Definition Classes

    SigmaContract

11.  def blake2b256(bytes: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]

    Definition Classes

    SigmaContract

12.  def builder: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaDslBuilder]

    Definition Classes

    SigmaContractAdapter → SigmaContract

13.  def byteArrayToBigInt(bytes: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.BigInt]

    Definition Classes

    SigmaContract

14.  def byteArrayToLong(bytes: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]): scalan.SigmaLibrary.Ref[Long]

    Definition Classes

    SigmaContract

15.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

16.  def decodePoint(encoded: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement]

    Definition Classes

    SigmaContract

17.  final def deps: Array[scalan.SigmaLibrary.Sym]

    Dependencies of this definition from other definitions.

    Dependencies of this definition from other definitions. If definition is interpreted as an operation, then dependencies are arguments of the operation. If definition if compound (like Lambda of ThunkDef) then deps is equals to free variables used in the body of the compound definition. This array also refers to predecessors of this graph node, so it is used to build topological ordering (execution schedule) of operations.

    returns

    array of referencies to other definitions.

    Definition Classes

    Node

18.  final def elements: Array[AnyRef]

    All data elements of this graph node to be used in structural equality.

    All data elements of this graph node to be used in structural equality.

    Definition Classes

    Node

    See also

    equals where elements are used.

19.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

20.  def equals(other: Any): Boolean

    Default equality of definitions.

    Default equality of definitions. Two definitions are equal if they have same elements.

    Definition Classes

    Node → Equals → AnyRef → Any

21.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

22.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

23.  def getDeps: Array[scalan.SigmaLibrary.Sym]

    Override to redefine how dependencies are computed.

    Override to redefine how dependencies are computed. For example, in core implementation this is overriden in Lambda and ThunkDef using freeVars.

    Attributes

    protected

    Definition Classes

    Node

24.  def groupGenerator: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement]

    Definition Classes

    SigmaContract

25.  def hashCode(): Int

    Computed once and saved to avoid repeated computations, which is not necessary because definitions are immutable by default.

    Computed once and saved to avoid repeated computations, which is not necessary because definitions are immutable by default. If some definition require mutability, this method can be overriden accordingly.

    Definition Classes

    Node → AnyRef → Any

26.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

27.  def longToByteArray(l: scalan.SigmaLibrary.Ref[Long]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]

    Definition Classes

    SigmaContract

28.  def mirror(t: scalan.SigmaLibrary.Transformer): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaContract]

    Clone this definition transforming all symbols using t.

    Clone this definition transforming all symbols using t. If new Def[A] is created, it is added to the graph with collapsing and rewriting. Can be overriden to implement node-specific mirroring (see MethodCall).

    t

    mapping of symbols to symbols (Ref[_] => Ref[_])

    returns

    symbol of the logical clone. If d don't contain symbols, then d.self is returned.

    Definition Classes

    Def

29.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

30.  final def nodeId: Int

    Unique id of the graph node assigned for each new instance using freshId generator.

    Unique id of the graph node assigned for each new instance using freshId generator. Doesn't participate in equality of this Def, thus definitions with different ids may still be structurally equal. Used to provide global Def numbering.

    Definition Classes

    Node

    Annotations

    @inline()

31.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

32.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

33.  def proveDHTuple(g: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement], h: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement], u: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement], v: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]

    Definition Classes

    SigmaContract

34.  def proveDlog(g: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.GroupElement]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]

    Definition Classes

    SigmaContract

35.  val resultType: scalan.SigmaLibrary.Elem[scalan.SigmaLibrary.SigmaContract]

    Type of a resulting value produced by the operation represented by this definition.

    Type of a resulting value produced by the operation represented by this definition. For example, if this definition represents application of +: (Int, Int) => Int operation then the result type is Int and resultType should return IntElement.

    Definition Classes

    SigmaContractAdapter → Def

36.  final def self: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaContract]

    Reference to this definition created lazily on demand.

    Reference to this definition created lazily on demand.

    Definition Classes

    Def

37.  def sha256(bytes: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]

    Definition Classes

    SigmaContract

38.  def sigmaProp(b: scalan.SigmaLibrary.Ref[Boolean]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaProp]

    Definition Classes

    SigmaContract

39.  val source: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.SigmaContract]
40.  def substConstants[T](scriptBytes: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]], positions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Int]], newValues: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[T]])(implicit cT: scalan.SigmaLibrary.Elem[T]): scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Byte]]

    Definition Classes

    SigmaContract

    Annotations

    @Reified()

41.  final def syms: Array[scalan.SigmaLibrary.Sym]

    References to other nodes in this Def instance.

    References to other nodes in this Def instance. Note: This is different form deps for compound definitions like Lambda and ThunkDef.

    Definition Classes

    Node

42.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

43.  def toString(): String

    User readable string representation of this definition.

    User readable string representation of this definition. (for debugging only)

    Definition Classes

    Node → AnyRef → Any

44.  def transform(t: scalan.SigmaLibrary.Transformer): SigmaContractAdapter

    Create a copy of this definition applying the given transformer to all syms.

    Create a copy of this definition applying the given transformer to all syms.

    Definition Classes

    SigmaContractAdapter → Def

45.  def verifyZK(cond: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Thunk[scalan.SigmaLibrary.SigmaProp]]): scalan.SigmaLibrary.Ref[Boolean]

    Definition Classes

    SigmaContract

46.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

47.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

48.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

49.  def xorOf(conditions: scalan.SigmaLibrary.Ref[scalan.SigmaLibrary.Coll[Boolean]]): scalan.SigmaLibrary.Ref[Boolean]

    Definition Classes

    SigmaContract