Object/Class

sigmastate.eval

CostingSigmaDslBuilder

Related Docs: class CostingSigmaDslBuilder | package eval

Permalink

object CostingSigmaDslBuilder extends CostingSigmaDslBuilder

Default singleton instance of Global object, which implements global ErgoTree functions.

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CostingSigmaDslBuilder
  2. CostingSigmaDslBuilder
  3. TestSigmaDslBuilder
  4. SigmaDslBuilder
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. def BigInt(n: BigInteger): BigInt

    Permalink

    Create DSL big integer from existing java.math.BigInteger

    Create DSL big integer from existing java.math.BigInteger

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  5. def Box(ebox: ErgoBox): Box

    Permalink

    Wraps the given ErgoBox into SigmaDsl value of type Box.

    Wraps the given ErgoBox into SigmaDsl value of type Box.

    ebox

    the value to be wrapped

    Definition Classes
    CostingSigmaDslBuilder
    See also

    sigmastate.SBox, special.sigma.Box

  6. def Colls: CollBuilder

    Permalink

    Access to collection operations.

    Access to collection operations.

    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
  7. def CostModel: CostModel

    Permalink

    Access to cost model (aka CostTable) parameters.

    Access to cost model (aka CostTable) parameters.

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  8. val Costing: CostedBuilder

    Permalink

    Access to operations used in cost computation.

    Access to operations used in cost computation.

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  9. def GroupElement(p: ECPoint): GroupElement

    Permalink

    Create DSL's group element from existing org.bouncycastle.math.ec.ECPoint.

    Create DSL's group element from existing org.bouncycastle.math.ec.ECPoint.

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilder
  10. def Monoids: MonoidBuilder

    Permalink

    Access to Monoid operations

    Access to Monoid operations

    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
  11. def SigmaProp(sigmaTree: SigmaBoolean): SigmaProp

    Permalink

    Wraps the given sigma proposition into SigmaDsl value of type SigmaProp.

    Wraps the given sigma proposition into SigmaDsl value of type SigmaProp.

    Definition Classes
    CostingSigmaDslBuilder
  12. val __curve__: X9ECParameters

    Permalink
    Definition Classes
    TestSigmaDslBuilder
  13. val __g__: SecP256K1Point

    Permalink
    Definition Classes
    TestSigmaDslBuilder
  14. def allOf(conditions: Coll[Boolean]): Boolean

    Permalink

    returns

    true if all the elements in collection are true.

    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
    Annotations
    @NeverInline()
  15. def allZK(props: Coll[SigmaProp]): SigmaProp

    Permalink

    Returns a sigma proposition which is proven when ALL the propositions in the conditions are proven.

    Returns a sigma proposition which is proven when ALL the propositions in the conditions are proven.

    returns

    AND sigma protocol proposition

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  16. def anyOf(conditions: Coll[Boolean]): Boolean

    Permalink

    Returns true if at least one element in the conditions is true, otherwise false.

    Returns true if at least one element in the conditions is true, otherwise false.

    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
    Annotations
    @NeverInline()
  17. def anyZK(props: Coll[SigmaProp]): SigmaProp

    Permalink

    Returns a sigma proposition which is proven when at least one of the propositions in the conditions is proven.

    Returns a sigma proposition which is proven when at least one of the propositions in the conditions is proven.

    returns

    OR sigma protocol proposition

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  18. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  19. def atLeast(bound: Int, props: Coll[SigmaProp]): SigmaProp

    Permalink

    Logical threshold operation.

    Logical threshold operation. AtLeast has two inputs: integer bound and a collection of props same as in anyZK/allZK.

    bound

    number of props which should be proven in order to satisfy verifier

    props

    a collection of sigma propositions of which at least the bound number should be proved.

    returns

    THRESHOLD sigma protocol proposition wrapped in SigmaProp value.

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  20. def avlTree(treeData: AvlTreeData): AvlTree

    Permalink

    Wraps the given tree data into SigmaDsl value of type AvlTree.

    Wraps the given tree data into SigmaDsl value of type AvlTree.

    Definition Classes
    CostingSigmaDslBuilder
  21. def avlTree(operationFlags: Byte, digest: Coll[Byte], keyLength: Int, valueLengthOpt: Option[Int]): CAvlTree

    Permalink

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

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

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  22. def blake2b256(bytes: Coll[Byte]): Coll[Byte]

    Permalink

    Calculate Blake2b256 hash from the input bytes.

    Calculate Blake2b256 hash from the input bytes.

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  23. def byteArrayToBigInt(bytes: Coll[Byte]): BigInt

    Permalink

    Convert big-endian bytes representation (Coll[Byte]) to the corresponding BigInt value.

    Convert big-endian bytes representation (Coll[Byte]) to the corresponding BigInt value.

    bytes

    collection of bytes in big-endian format

    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
    Annotations
    @NeverInline()
  24. def byteArrayToLong(bytes: Coll[Byte]): Long

    Permalink

    Convert big-endian bytes representation (Coll[Byte]) to the corresponding Long value.

    Convert big-endian bytes representation (Coll[Byte]) to the corresponding Long value.

    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
    Annotations
    @NeverInline()
  25. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )
  26. def decodePoint(encoded: Coll[Byte]): GroupElement

    Permalink

    Decodes the given bytes to the corresponding GroupElement using default serialization.

    Decodes the given bytes to the corresponding GroupElement using default serialization.

    encoded

    serialized bytes of some GroupElement value

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
    See also

    GroupElementSerializer

  27. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  28. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  29. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  30. def groupGenerator: GroupElement

    Permalink

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

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

    returns

    the generator of this Dlog group

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  31. def groupIdentity: GroupElement

    Permalink

    returns

    the identity of the Dlog group used in ErgoTree

    Definition Classes
    CostingSigmaDslBuilder
  32. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  33. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  34. def longToByteArray(l: Long): Coll[Byte]

    Permalink

    Converts Long value l to the big-endian bytes representation.

    Converts Long value l to the big-endian bytes representation.

    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
    Annotations
    @NeverInline()
  35. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  36. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  37. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  38. def proveDHTuple(g: GroupElement, h: GroupElement, u: GroupElement, v: GroupElement): SigmaProp

    Permalink

    Creates a new SigmaProp value representing sigma proposition of the Diffie Hellman signature protocol.

    Creates a new SigmaProp value representing sigma proposition of the Diffie Hellman signature protocol. Common input: (g,h,u,v)

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  39. def proveDlog(ge: GroupElement): SigmaProp

    Permalink

    Creates a new SigmaProp value representing public key of the discrete logarithm signature protocol.

    Creates a new SigmaProp value representing public key of the discrete logarithm signature protocol.

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  40. def sha256(bytes: Coll[Byte]): Coll[Byte]

    Permalink

    Calculate Sha256 hash from the input bytes.

    Calculate Sha256 hash from the input bytes.

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  41. def sigmaProp(b: Boolean): SigmaProp

    Permalink

    Creates trivial sigma proposition with the given underlying Boolean value.

    Creates trivial sigma proposition with the given underlying Boolean value.

    b

    boolean value to be wrapped into SigmaProp

    returns

    sigma proposition with can be combined with other SigmaProp values

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  42. def substConstants[T](scriptBytes: Coll[Byte], positions: Coll[Int], newValues: Coll[T])(implicit cT: RType[T]): Coll[Byte]

    Permalink

    Transforms serialized bytes of ErgoTree with segregated constants by replacing constants at given positions with new values.

    Transforms serialized bytes of ErgoTree with segregated constants by replacing constants at given positions with new values. This operation allow to use serialized scripts as pre-defined templates. The typical usage is "check that output box have proposition equal to given script bytes, where minerPk (constants(0)) is replaced with currentMinerPk". Each constant in original scriptBytes have SType serialized before actual data (see ConstantSerializer). During substitution each value from newValues is checked to be an instance of the corresponding type. This means, the constants during substitution cannot change their types.

    scriptBytes

    serialized ErgoTree with ConstantSegregationFlag set to 1.

    positions

    zero based indexes in ErgoTree.constants array which should be replaced with new values

    newValues

    new values to be injected into the corresponding positions in ErgoTree.constants array

    returns

    original scriptBytes array where only specified constants are replaced and all other bytes remain exactly the same

    Definition Classes
    CostingSigmaDslBuilderTestSigmaDslBuilderSigmaDslBuilder
  43. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  44. def toAvlTreeData(p: AvlTree): AvlTreeData

    Permalink

    Extract sigmastate.AvlTreeData from DSL's AvlTree type.

    Extract sigmastate.AvlTreeData from DSL's AvlTree type.

    Definition Classes
    CostingSigmaDslBuilder
  45. def toBigInteger(n: BigInt): BigInteger

    Permalink

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

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

    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
    Annotations
    @NeverInline() @Internal()
  46. def toECPoint(ge: GroupElement): ECPoint

    Permalink

    Extract org.bouncycastle.math.ec.ECPoint from DSL's GroupElement type.

    Extract org.bouncycastle.math.ec.ECPoint from DSL's GroupElement type.

    Definition Classes
    TestSigmaDslBuilder
    Annotations
    @NeverInline() @Internal()
  47. def toErgoBox(b: Box): ErgoBox

    Permalink

    Extracts ErgoBox from the given Box instance.

    Extracts ErgoBox from the given Box instance. This is inverse to the Box method.

    Definition Classes
    CostingSigmaDslBuilder
  48. def toSigmaBoolean(p: SigmaProp): SigmaBoolean

    Permalink

    Extract sigmastate.Values.SigmaBoolean from DSL's SigmaProp type.

    Extract sigmastate.Values.SigmaBoolean from DSL's SigmaProp type.

    Definition Classes
    CostingSigmaDslBuilder
  49. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  50. implicit val validationSettings: SigmaValidationSettings

    Permalink
    Definition Classes
    CostingSigmaDslBuilder
  51. def verifyZK(proof: ⇒ SigmaProp): Boolean

    Permalink
    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
    Annotations
    @NeverInline()
  52. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  54. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. def xor(l: Coll[Byte], r: Coll[Byte]): Coll[Byte]

    Permalink

    Returns a byte-wise XOR of the two collections of bytes.

    Returns a byte-wise XOR of the two collections of bytes.

    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
    Annotations
    @NeverInline()
  56. def xorOf(conditions: Coll[Boolean]): Boolean

    Permalink

    Similar to allOf, but performing logical XOR operation between all conditions.

    Similar to allOf, but performing logical XOR operation between all conditions.

    Definition Classes
    TestSigmaDslBuilderSigmaDslBuilder
    Annotations
    @NeverInline()

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from CostingSigmaDslBuilder

Inherited from TestSigmaDslBuilder

Inherited from SigmaDslBuilder

Inherited from AnyRef

Inherited from Any

Ungrouped