proofofshuffleofciphers.hpp

Go to the documentation of this file.

#ifndef _PROOFOFSHUFFLEOFCIPHERS_H_
#define _PROOFOFSHUFFLEOFCIPHERS_H_

#include "verification.hpp"


namespace proofs {


class ProofOfShuffleOfCiphers : public Verification
{
private:
        arithm::ArrayOfElmts u;

        arithm::Field * R;
        
        elGamal::CipherGroup C;
        
        arithm::Elmt pk;
        
        elGamal::ArrayOfCiphers w;
        
        elGamal::ArrayOfCiphers wPrime;

public:
        ProofOfShuffleOfCiphers(bool &readingWasOK,
                                XmlConfig * config,
                                std::vector<uint8_t> prefix,
                                arithm::ArrayOfElmts pedersen,
                                unsigned int N,
                                arithm::Field * randomizerGrp,
                                elGamal::CipherGroup cipherTextsGrp,
                                arithm::Elmt elGamalPkey,
                                elGamal::ArrayOfCiphers inputCiphers,
                                elGamal::ArrayOfCiphers outputCiphers,
                                verifierUtils::ByteTree * commitmentFSproof,
                                verifierUtils::ByteTree * replyFSproof);

        bool isEverythingOK();

};


} // closing namespace

#endif