SigmaDslBuilder

abstract def BigInt(n: BigInteger): BigInt

Create DSL big integer from existing java.math.BigInteger

abstract def Colls: CollBuilder

abstract def CostModel: CostModel

abstract def Costing: CostedBuilder

abstract def Monoids: MonoidBuilder

abstract def PubKey(base64String: String): SigmaProp

abstract def allOf(conditions: Coll[Boolean]): Boolean

abstract def allZK(conditions: Coll[SigmaProp]): SigmaProp

abstract def anyOf(conditions: Coll[Boolean]): Boolean

abstract def anyZK(conditions: Coll[SigmaProp]): SigmaProp

abstract def atLeast(bound: Int, props: Coll[SigmaProp]): SigmaProp

abstract def avlTree(operationFlags: Byte, digest: Coll[Byte], keyLength: Int, valueLengthOpt: Option[Int]): AvlTree

Construct a new authenticated dictionary with given parameters and tree root digest.

abstract def blake2b256(bytes: Coll[Byte]): Coll[Byte]

abstract def byteArrayToBigInt(bytes: Coll[Byte]): BigInt

abstract def byteArrayToLong(bytes: Coll[Byte]): Long

abstract def decodePoint(encoded: Coll[Byte]): GroupElement

abstract def groupGenerator: GroupElement

The generator g of the group is an element of the group such that, when written multiplicatively, every element of the group is a power of g.

abstract def longToByteArray(l: Long): Coll[Byte]

abstract def proveDHTuple(g: GroupElement, h: GroupElement, u: GroupElement, v: GroupElement): SigmaProp

abstract def proveDlog(g: GroupElement): SigmaProp

abstract def sha256(bytes: Coll[Byte]): Coll[Byte]

abstract def sigmaProp(b: Boolean): SigmaProp

abstract def substConstants[T](scriptBytes: Coll[Byte], positions: Coll[Int], newValues: Coll[T])(implicit cT: RType[T]): Coll[Byte]

abstract def toBigInteger(n: BigInt): BigInteger

Extract java.math.BigInteger from DSL's BigInt type

abstract def verifyZK(cond: ⇒ SigmaProp): Boolean

abstract def xor(l: Coll[Byte], r: Coll[Byte]): Coll[Byte]

abstract def xorOf(conditions: Coll[Boolean]): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit