libzerocoin::AccumulatorProofOfKnowledge Class Reference

A prove that a value insde the commitment commitmentToCoin is in an accumulator a. More...

#include <AccumulatorProofOfKnowledge.h>

Public Member Functions
	AccumulatorProofOfKnowledge (const AccumulatorAndProofParams *p)
	AccumulatorProofOfKnowledge (const AccumulatorAndProofParams *p, const Commitment &commitmentToCoin, const AccumulatorWitness &witness, Accumulator &a)
	Generates a proof that a commitment to a coin c was accumulated. More...
bool	Verify (const Accumulator &a, const Bignum &valueOfCommitmentToCoin) const
	Verifies that a commitment c is accumulated in accumulated a. More...

Public Attributes
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 Bignum	C_e
Bignum	C_u
Bignum	C_r
Bignum	st_1
Bignum	st_2
Bignum	st_3
Bignum	t_1
Bignum	t_2
Bignum	t_3
Bignum	t_4
Bignum	s_alpha
Bignum	s_beta
Bignum	s_zeta
Bignum	s_sigma
Bignum	s_eta
Bignum	s_epsilon
Bignum	s_delta
Bignum	s_xi
Bignum	s_phi
Bignum	s_gamma
Bignum	s_psi

Detailed Description

A prove that a value insde the commitment commitmentToCoin is in an accumulator a.

Definition at line 21 of file AccumulatorProofOfKnowledge.h.

Constructor & Destructor Documentation

libzerocoin::AccumulatorProofOfKnowledge::AccumulatorProofOfKnowledge

(

const AccumulatorAndProofParams *

p

)

Definition at line 17 of file AccumulatorProofOfKnowledge.cpp.

libzerocoin::AccumulatorProofOfKnowledge::AccumulatorProofOfKnowledge	(	const AccumulatorAndProofParams *	p,
		const Commitment &	commitmentToCoin,
		const AccumulatorWitness &	witness,
		Accumulator &	a
	)

Generates a proof that a commitment to a coin c was accumulated.

Parameters

p	Cryptographic parameters
commitmentToCoin	commitment containing the coin we want to prove is accumulated
witness	The witness to the accumulation of the coin
a

Definition at line 19 of file AccumulatorProofOfKnowledge.cpp.

Here is the call graph for this function:

Member Function Documentation

bool libzerocoin::AccumulatorProofOfKnowledge::Verify	(	const Accumulator &	a,
		const Bignum &	valueOfCommitmentToCoin
	)		const

Verifies that a commitment c is accumulated in accumulated a.

Verifies that a commitment c is accumulated in accumulator a.

Definition at line 103 of file AccumulatorProofOfKnowledge.cpp.

Here is the call graph for this function:

Here is the caller graph for this function:

Member Data Documentation

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 Bignum libzerocoin::AccumulatorProofOfKnowledge::C_e

Definition at line 37 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::C_r

Definition at line 66 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::C_u

Definition at line 65 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_alpha

Definition at line 77 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_beta

Definition at line 78 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_delta

Definition at line 83 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_epsilon

Definition at line 82 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_eta

Definition at line 81 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_gamma

Definition at line 86 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_phi

Definition at line 85 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_psi

Definition at line 87 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_sigma

Definition at line 80 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_xi

Definition at line 84 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::s_zeta

Definition at line 79 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::st_1

Definition at line 68 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::st_2

Definition at line 69 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::st_3

Definition at line 70 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::t_1

Definition at line 72 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::t_2

Definition at line 73 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::t_3

Definition at line 74 of file AccumulatorProofOfKnowledge.h.

Bignum libzerocoin::AccumulatorProofOfKnowledge::t_4

Definition at line 75 of file AccumulatorProofOfKnowledge.h.

---

The documentation for this class was generated from the following files:

• src/zerocoin/AccumulatorProofOfKnowledge.h
• src/zerocoin/AccumulatorProofOfKnowledge.cpp