See: Description
| Interface | Description |
|---|---|
| SchnorrFragment |
Part of a Schnorr-style protocol, which may depend on variables (witnesses)
for which another protocol is in charge of ensuring extractability.
|
| SendFirstValue |
A value that is sent before the rest of the protocol is set up and starts.
|
| Class | Description |
|---|---|
| DelegateFragment |
A
SchnorrFragment that sets up some (shared) variables and then runs subprotocols to prove something about these variables. |
| DelegateProtocol |
A
SigmaProtocol that sets up some (shared) variables and then runs subprotocols to prove something about these variables. |
| LinearExponentStatementFragment |
Ensures that a equation on exponents (that can be written as)
linearExpression(variables) = publicConstant
holds. |
| LinearExponentStatementFragment.LinearExponentStatementAnnouncement | |
| LinearStatementFragment |
Ensures that a group element equation (that can be written as)
homomorphicExpression(variables) = publicConstant
holds. |
| LinearStatementFragment.LinearStatementAnnouncement | |
| SendFirstValue.AlgebraicSendFirstValue |
A list of algebraic values (
Elements) to send first. |
| SendFirstValue.EmptySendFirstValue | |
| SendThenDelegateFragment |
Many Schnorr-style protocols have the following form:
(Send) The prover generates some value and sends it to the verifier.
(Delegate) Prover and verifier run a Sigma protocol depending on the value sent/received
For example, a simple set membership proof works as follows (assuming some trusted party has published signatures on all valid set values):
(Send) The prover sends a randomized signature on his secret value
(Delegate) Prover and verifier run a Schnorr-style protocol for the statement "the prover can derandomize the signature such that it's a valid signature on his secret value"
This class helps implement
SchnorrFragments with this Send-then-Delegate-to-Subfragments behavior.To implement a SigmaProtocol with this behavior, see SendThenDelegateProtocol. |
| SendThenDelegateFragment.ProverSpec | |
| SendThenDelegateFragment.ProverSpecBuilder |
Helps build
SendThenDelegateFragment.ProverSpec objects to describe data contributed by the prover. |
| SendThenDelegateFragment.SendThenDelegateAnnouncement | |
| SendThenDelegateFragment.SubprotocolSpec |
Specifies what this Fragment shall do, i.e.
|
| SendThenDelegateFragment.SubprotocolSpecBuilder |
A builder to help instantiate
SendThenDelegateFragment.SubprotocolSpecs. |
| SendThenDelegateFragment.WitnessValues | |
| SendThenDelegateProtocol |
The protocol version of
SendThenDelegateFragment. |