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).
User-defined variables to be put into context.
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").
Collection of hints to be used by a prover
Collection of hints to be used by a prover
- hints stored in the bag
Base class of the context passed to verifier and prover.
Base class of the context passed to verifier and prover.
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 of a secret
- randomness
- commitment to randomness used while proving knowledge of the secret
Interpreter with enhanced functionality to prove statements.
Proof of correctness of tx spending
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 of a secret
- commitment to randomness used while proving knowledge of the secret
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.
A hint which is indicating that a secret associated with its public image "image" is already proven.
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 of a secret
- commitment to randomness used while proving knowledge of the secret
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.
User-defined variables to be put into context. Each variable is identified by
id: Byte
and can be accessed from a script usinggetVar[T](id)
operation. The value of the variable is represented by sigmastate.Values.Constant instance, which contains both data value and SType descriptor. The descriptor is checked against the typeT
expected in the script operation. If the types don't match, exception is thrown and the box spending (protected by the script) fails.internal container of the key-value pairs