Packages

t

sigmastate

UnprovenTree

sealed trait UnprovenTree extends ProofTree

A node of a sigma-tree used by the prover. See ProverInterpreter comments and the ErgoScript white-paper https://ergoplatform.org/docs/ErgoScript.pdf , Appendix A, for details

Linear Supertypes
ProofTree, Product, Equals, AnyRef, Any
Known Subclasses
CAndUnproven, COrUnproven, CThresholdUnproven, UnprovenConjecture, UnprovenDiffieHellmanTuple, UnprovenLeaf, UnprovenSchnorr
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. UnprovenTree
  2. ProofTree
  3. Product
  4. Equals
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def canEqual(that: Any): Boolean
    Definition Classes
    Equals
  2. abstract val challengeOpt: Option[Array[Byte]]

    Challenge used by the prover.

  3. abstract val position: NodePosition

    Position of the node in the tree, see comments for position field in sigmastate.interpreter.Hint

  4. abstract def productArity: Int
    Definition Classes
    Product
  5. abstract def productElement(n: Int): Any
    Definition Classes
    Product
  6. abstract val proposition: SigmaBoolean

    Node's sigma-protocol statement to be proven.

  7. abstract val simulated: Boolean

    Whether the node represents simulated sigma-protocol

  8. abstract def withChallenge(challenge: Challenge): UnprovenTree
  9. abstract def withPosition(updatedPosition: NodePosition): UnprovenTree
  10. abstract def withSimulated(newSimulated: Boolean): UnprovenTree

Concrete 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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  14. def productIterator: Iterator[Any]
    Definition Classes
    Product
  15. def productPrefix: String
    Definition Classes
    Product
  16. def real: Boolean
  17. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  18. def toString(): String
    Definition Classes
    AnyRef → Any
  19. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  21. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from ProofTree

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped