ecoin/ecoin/src/zerocoin/AccumulatorProofOfKnowledge.h

// ECOin - Copyright (c) - 2014/2022 - GPLv3 - epsylon@riseup.net (https://03c8.net)

	#ifndef ACCUMULATEPROOF_H_
	#define ACCUMULATEPROOF_H_

	namespace libzerocoin {

	/**A prove that a value insde the commitment commitmentToCoin is in an accumulator a.
	 *
	 */
	class AccumulatorProofOfKnowledge {
	public:
		AccumulatorProofOfKnowledge(const AccumulatorAndProofParams* p);

		/** Generates a proof that a commitment to a coin c was accumulated
		 * @param p  Cryptographic parameters
		 * @param commitmentToCoin commitment containing the coin we want to prove is accumulated
		 * @param witness The witness to the accumulation of the coin
		 * @param a
		 */
		AccumulatorProofOfKnowledge(const AccumulatorAndProofParams* p, const Commitment& commitmentToCoin, const AccumulatorWitness& witness, Accumulator& a);
		/** Verifies that  a commitment c is accumulated in accumulated a
		 */
		bool Verify(const Accumulator& a,const CBigNum& valueOfCommitmentToCoin) const;

	IMPLEMENT_SERIALIZE
	(
	    READWRITE(C_e);
	    READWRITE(C_u);
	    READWRITE(C_r);
	    READWRITE(st_1);
	    READWRITE(st_2);
	    READWRITE(st_3);
	    READWRITE(t_1);
	    READWRITE(t_2);
	    READWRITE(t_3);
	    READWRITE(t_4);
	    READWRITE(s_alpha);
	    READWRITE(s_beta);
	    READWRITE(s_zeta);
	    READWRITE(s_sigma);
	    READWRITE(s_eta);
	    READWRITE(s_epsilon);
	    READWRITE(s_delta);
	    READWRITE(s_xi);
	    READWRITE(s_phi);
	    READWRITE(s_gamma);
	    READWRITE(s_psi);
	)
private:
	const AccumulatorAndProofParams* params;

	/* Return values for proof */
	CBigNum C_e;
	CBigNum C_u;
	CBigNum C_r;

	CBigNum st_1;
	CBigNum st_2;
	CBigNum st_3;

	CBigNum t_1;
	CBigNum t_2;
	CBigNum t_3;
	CBigNum t_4;

	CBigNum s_alpha;
	CBigNum s_beta;
	CBigNum s_zeta;
	CBigNum s_sigma;
	CBigNum s_eta;
	CBigNum s_epsilon;
	CBigNum s_delta;
	CBigNum s_xi;
	CBigNum s_phi;
	CBigNum s_gamma;
	CBigNum s_psi;
};

} /* namespace libzerocoin */
#endif /* ACCUMULATEPROOF_H_ */