Packages

p

sigmastate

basics

package basics

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. abstract class BcDlogGroup extends DlogGroup

    Base class for EC-based groups where DLOG problem is hard (with bouncycastle-like interface).

  2. trait DiffieHellmanTupleProtocol extends SigmaProtocol[DiffieHellmanTupleProtocol]
  3. case class DiffieHellmanTupleProverInput(w: BigInteger, commonInput: ProveDHTuple) extends SigmaProtocolPrivateInput[ProveDHTuple] with Product with Serializable
  4. trait DlogGroup 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.

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

    First message of Diffie Hellman tuple sigma protocol.

    First message of Diffie Hellman tuple sigma protocol.

    a

    commitment to secret randomness a = g^r, where g is default generator of the group

    b

    commitment to secret randomness b = h^r, where h is another random generator of the group

    See also

    createRandomGenerator in sigmastate.basics.CryptoConstants.dlogGroup

  6. trait FirstProverMessage extends ProverMessage

    First message from the prover (message a of SigmaProtocol)

  7. case class ProveDHTuple(gv: EcPointType, hv: EcPointType, uv: EcPointType, vv: EcPointType) extends SigmaLeaf 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)

  8. trait ProverMessage extends TranscriptMessage

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

  9. case class SecondDHTupleProverMessage(z: BigInteger) extends SecondProverMessage with Product with Serializable

    Represents a response for challenge in Diffie Hellman tuple sigma protocol.

    Represents a response for challenge in Diffie Hellman tuple sigma protocol.

    z

    responce to the challenge computed as (r + ew) mod q, where r is the prover's randomness, e challenge from the verifier (also computed by the prover in non-interactive case), w is the prover's secret. q is the group order

  10. trait SecondProverMessage extends ProverMessage

    Second message from the prover (message z of SigmaProtocol)

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

  12. trait SigmaProtocolPrivateInput[CI <: SigmaLeaf] extends AnyRef
  13. trait SigmaProtocolProver extends AnyRef
  14. trait TranscriptMessage extends AnyRef
  15. trait VerifierMessage extends TranscriptMessage

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

Value Members

  1. object CryptoConstants

    Constants used in crypto operations implementation.

  2. object CryptoFunctions
  3. object DLogProtocol
  4. object DiffieHellmanTupleInteractiveProver extends SigmaProtocolProver
  5. object DiffieHellmanTupleProverInput extends Serializable
  6. object ProveDHTuple extends Serializable
  7. object ProveDHTupleProp

    Helper extractor to match SigmaProp values and extract ProveDHTuple out of it.

  8. object SecP256K1Group extends BcDlogGroup

    Implementation of BcDlogGroup using SecP256K1 curve.

  9. object VerifierMessage

Ungrouped