basics

Type Members

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

   

2. class DiffieHellmanTupleInteractiveProver extends InteractiveProver[DiffieHellmanTupleProtocol, ProveDHTuple, DiffieHellmanTupleProverInput]

   

3. trait DiffieHellmanTupleProtocol extends SigmaProtocol[DiffieHellmanTupleProtocol]

   

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

   

5. 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

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

   

7. trait FirstProverMessage extends ProverMessage

   

   First message from the prover (message a of SigmaProtocol)

8. trait InteractiveParty extends AnyRef

   

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

   

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

    

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

    

    common interface for both Prover and Verifier

12. 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)

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

    

14. trait ProverMessage extends TranscriptMessage

    

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

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

    

16. trait SecondProverMessage extends ProverMessage

    

    Second message from the prover (message z of SigmaProtocol)

17. 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)

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

    

19. trait SigmaProtocolMsg extends AnyRef

    

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

    

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

    

    Sigma Protocol transcript enough for verification

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

    

23. trait TranscriptMessage extends AnyRef

    

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

    

25. trait VerifierMessage extends TranscriptMessage

    

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

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