verification.hpp

Go to the documentation of this file.

#ifndef _VERIFICATION_H_
#define _VERIFICATION_H_

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

#include "../verifierutils/verifierutils.hpp"
#include "../cryptotools/cryptotools.hpp"
#include "../arithm/arithm.hpp"
#include "../xmlconfig/xmlconfig.hpp"
#include "../elgamal/elgamal.hpp"


namespace proofs {

class Verification
{
protected:
        XmlConfig * protocolFile;

        cryptoTools::SHAx * H;

        cryptoTools::RO * ROs;
        
        cryptoTools::RO * ROv;

        std::vector<uint8_t> rho;
        
        unsigned int n0;
        
        unsigned int ne;
        
        unsigned int nr;
        
        unsigned int nv;

        cryptoTools::PRG * prg;
                
        arithm::Group * gq;

        arithm::Field * zq;

        arithm::ArrayOfElmts h;

        verifierUtils::ByteTree * tau;

        verifierUtils::ByteTree * sigma;

public:
        Verification(XmlConfig * config, std::vector<uint8_t> prefix,
                     unsigned int nZero);

        arithm::ArrayOfElmts randomExponents(
                verifierUtils::ByteTree * bts, std::vector<uint8_t> &s);

        arithm::Elmt getChallenge(std::vector<uint8_t> s);

        arithm::ArrayOfElmts getGenerators();
        
        virtual bool isEverythingOK();

};


} // closing namespace

#endif