Type Members

1.  abstract class CommitmentHint extends Hint

   A family of hints which are about a correspondence between a public image of a secret image and prover's commitment to randomness ("a" in a sigma protocol).

2.  case class ContextExtension(values: Map[Byte, EvaluatedValue[_ <: SType]]) extends Product with Serializable

   User-defined variables to be put into context

   User-defined variables to be put into context

   values

   - key-value pairs

3.  case class CostedProverResult(proof: Array[Byte], extension: ContextExtension, cost: Long) extends ProverResult with Product with Serializable
4.  trait Hint extends AnyRef

   A hint for a prover which helps the prover to prove a statement.

   A hint for a prover which helps the prover to prove a statement. For example, if the statement is "pk1 && pk2", and the prover knows only a secret for the public key pk1, the prover fails on proving without a hint. But if the prover knows that pk2 is known to another party, the prover may prove the statement (with an empty proof for "pk2").

5.  case class HintsBag(hints: Seq[Hint]) extends Product with Serializable

   Collection of hints to be used by a prover

   Collection of hints to be used by a prover

   hints

   - hints stored in the bag

6.  trait Interpreter extends ScorexLogging
7.  trait InterpreterContext extends AnyRef
8.  case class OwnCommitment(image: SigmaBoolean, secretRandomness: BigInteger, commitment: FirstProverMessage, position: NodePosition) extends CommitmentHint with Product with Serializable

   A hint which a commitment to randomness associated with a public image of a secret, as well as randomness itself.

   A hint which a commitment to randomness associated with a public image of a secret, as well as randomness itself. Please note that this randomness should be kept in secret by the prover.

   image

   - image of a secret

   secretRandomness

   - randomness

   commitment

   - commitment to randomness used while proving knowledge of the secret

9.  trait ProverInterpreter extends Interpreter with ProverUtils with AttributionCore

   Interpreter with enhanced functionality to prove statements.

10.  class ProverResult extends AnyRef

    Proof of correctness of tx spending

11.  trait ProverUtils extends Interpreter
12.  case class RealCommitment(image: SigmaBoolean, commitment: FirstProverMessage, position: NodePosition) extends CommitmentHint with Product with Serializable

    A hint which contains a commitment to randomness associated with a public image of a secret.

    A hint which contains a commitment to randomness associated with a public image of a secret.

    image

    - image of a secret

    commitment

    - commitment to randomness used while proving knowledge of the secret

13.  case class RealSecretProof(image: SigmaBoolean, challenge: Challenge, uncheckedTree: UncheckedTree, position: NodePosition) extends SecretProven with Product with Serializable

    A hint which contains a proof-of-knowledge for a secret associated with its public image "image", with also the mark that the proof is real.

14.  abstract class SecretProven extends Hint

    A hint which is indicating that a secret associated with its public image "image" is already proven.

15.  case class SimulatedCommitment(image: SigmaBoolean, commitment: FirstProverMessage, position: NodePosition) extends CommitmentHint with Product with Serializable

    A hint which contains a commitment to randomness associated with a public image of a secret.

    A hint which contains a commitment to randomness associated with a public image of a secret.

    image

    - image of a secret

    commitment

    - commitment to randomness used while proving knowledge of the secret

16.  case class SimulatedSecretProof(image: SigmaBoolean, challenge: Challenge, uncheckedTree: UncheckedTree, position: NodePosition) extends SecretProven with Product with Serializable

    A hint which contains a proof-of-knowledge for a secret associated with its public image "image", with also the mark that the proof is real.