basics

Type Members

1. abstract class BcDlogGroup[ElemType <: ECPoint] extends DlogGroup[ElemType]

   

2. trait DiffieHellmanTupleProtocol extends SigmaProtocol[DiffieHellmanTupleProtocol]

   

3. case class DiffieHellmanTupleProverInput(w: BigInteger, commonInput: ProveDHTuple) extends SigmaProtocolPrivateInput[DiffieHellmanTupleProtocol, ProveDHTuple] with Product with Serializable

   

4. trait DlogGroup[ElemType <: ECPoint] extends AnyRef

   

   This is the general interface for the discrete logarithm prime-order group.

   This is the general interface for the discrete logarithm prime-order group. Every class in the DlogGroup family implements this interface.

   The discrete logarithm problem is as follows: given a generator g of a finite group G and a random element h in G, find the (unique) integer x such that g^x = h.

   In cryptography, we are interested in groups for which the discrete logarithm problem (Dlog for short) is assumed to be hard. The most known groups of that kind are some Elliptic curve groups.

   ElemType

   is concrete type

5. case class FirstDiffieHellmanTupleProverMessage(a: EcPointType, b: EcPointType) extends FirstProverMessage with Product with Serializable

   

6. trait FirstProverMessage extends ProverMessage

   

   First message from the prover (message a of SigmaProtocol)

7. trait InteractiveParty extends AnyRef

   

8. trait InteractiveProver[SP <: SigmaProtocol[SP], CI <: SigmaProtocolCommonInput[SP], PI <: SigmaProtocolPrivateInput[SP, CI]] extends Prover[SP, CI, PI] with InteractiveParty

   

9. trait NonInteractiveProver[SP <: SigmaProtocol[SP], PI <: SigmaProtocolPrivateInput[SP, CI], CI <: SigmaProofOfKnowledgeLeaf[SP, PI], P <: UncheckedTree] extends Prover[SP, CI, PI]

   

10. trait Party[SP <: SigmaProtocol[SP], CI <: SigmaProtocolCommonInput[SP]] extends AnyRef

    

    common interface for both Prover and Verifier

11. case class ProveDHTuple(gv: EcPointType, hv: EcPointType, uv: EcPointType, vv: EcPointType) extends SigmaProtocolCommonInput[DiffieHellmanTupleProtocol] with SigmaProofOfKnowledgeLeaf[DiffieHellmanTupleProtocol, DiffieHellmanTupleProverInput] with Product with Serializable

    

    Construct a new SigmaProp value representing public key of Diffie Hellman signature protocol.

    Construct a new SigmaProp value representing public key of Diffie Hellman signature protocol. Common input: (g,h,u,v)

12. trait Prover[SP <: SigmaProtocol[SP], CI <: SigmaProtocolCommonInput[SP], PI <: SigmaProtocolPrivateInput[SP, CI]] extends Party[SP, CI]

    

13. trait ProverMessage extends TranscriptMessage

    

    The message sent by a prover to its associated verifier as part of a sigma protocol interaction.

14. case class SecondDiffieHellmanTupleProverMessage(z: BigInteger) extends SecondProverMessage with Product with Serializable

    

15. trait SecondProverMessage extends ProverMessage

    

    Second message from the prover (message z of SigmaProtocol)

16. trait SigmaProtocol[SP <: SigmaProtocol[SP]] extends AnyRef

    

    Abstract template for sigma protocols.

    Abstract template for sigma protocols. For details see the following book [1] Efficient Secure Two-Party Protocols - Techniques and Constructions, p.150)

17. trait SigmaProtocolCommonInput[SP <: SigmaProtocol[SP]] extends AnyRef

    

18. trait SigmaProtocolPrivateInput[SP <: SigmaProtocol[SP], CI <: SigmaProtocolCommonInput[SP]] extends AnyRef

    

19. trait SigmaProtocolTranscript[SP <: SigmaProtocol[SP], CI <: SigmaProtocolCommonInput[SP]] extends AnyRef

    

    Sigma Protocol transcript enough for verification

20. trait SimulatingProver[SP <: SigmaProtocol[SP], CI <: SigmaProtocolCommonInput[SP]] extends AnyRef

    

21. trait TranscriptMessage extends AnyRef

    

22. trait Verifier[SP <: SigmaProtocol[SP], CI <: SigmaProtocolCommonInput[SP]] extends Party[SP, CI]

    

23. trait VerifierMessage extends TranscriptMessage

    

    The message sent by a verifier to its associated prover as part of a sigma protocol interaction.

24. trait ZeroKnowledgeProofOfKnowledge[SP <: SigmaProtocol[SP]] extends AnyRef