group.hpp

Go to the documentation of this file.

#ifndef _GROUP_H_
#define _GROUP_H_


#include <vector>
#include <cstdint>
#include <iostream>
#include <gmp.h>
#include <gmpxx.h>

#include "../../verifierutils/verifierutils.hpp"
#include "../../cryptotools/cryptotools.hpp"

#include "elmt.hpp"
#include "arrayofelmts.hpp"


namespace arithm {


class Group
{
protected:
        mpz_class multOrder;

        mpz_class generator;

public:
        Group(mpz_class order, mpz_class gen);

        virtual verifierUtils::ByteTree * toByteTree();

        

        virtual Elmt multiplication(Elmt e1, Elmt e2);

        virtual Elmt multInverse(Elmt e);

        virtual Elmt exponentiation(Elmt e, Elmt s);

        bool compare(Elmt e1, Elmt e2);




        ArrayOfElmts multiplication(ArrayOfElmts e1, ArrayOfElmts e2);

        ArrayOfElmts multInverse(ArrayOfElmts e);

        ArrayOfElmts exponentiation(ArrayOfElmts e, ArrayOfElmts s);

        Elmt product(ArrayOfElmts e);

        Elmt expProduct(ArrayOfElmts e, ArrayOfElmts s);

        bool compare(ArrayOfElmts e1, ArrayOfElmts e2);


        


        virtual Elmt encode(std::vector<uint8_t> message);

        virtual std::vector<uint8_t> decode(Elmt e);

        

        Elmt getOne();

        ArrayOfElmts getOne(unsigned int n);

        Elmt getElmt(mpz_class repr);

        Elmt getElmt(verifierUtils::ByteTree * bt);

        ArrayOfElmts getArray(verifierUtils::ByteTree * bt);

        virtual ArrayOfElmts getRandArray(cryptoTools::PRG * prg, unsigned int nr, unsigned int n0);

        

        mpz_class getMultOrder();

        virtual unsigned int getLeafSize();

        Elmt getGenerator();

        ArrayOfElmts getGenerator(unsigned int n);

        virtual bool isIn(mpz_class repr);

        virtual std::string getType();
        
};


} // closing namespace

#endif