zkp

type DLogProof struct {
	Alpha *crypto.ECPoint
	T     *big.Int
}

type ECDDHProof struct {
	A1, A2 *crypto.ECPoint
	Z      *big.Int
}

type ECDDHStatement struct {
	Curve elliptic.Curve
	G2,
	H1, H2 *crypto.ECPoint
}

type ECDDHWitness struct {
	X *big.Int
}

type PDLwSlackProof struct {
	Z  *big.Int
	U1 *crypto.ECPoint
	U2, U3,
	S1, S2, S3 *big.Int
}

type PDLwSlackStatement struct {
	CipherText     *big.Int
	PK             *paillier.PublicKey
	Q, G           *crypto.ECPoint
	H1, H2, NTilde *big.Int
}

type PDLwSlackWitness struct {
	X, R *big.Int
	SK   *paillier.PrivateKey
}

type STProof struct {
	Alpha, Beta *crypto.ECPoint
	T, U        *big.Int
}

type TProof struct {
	Alpha *crypto.ECPoint
	T, U  *big.Int
}