proofs Namespace Reference

Implements all the proof a verificatum verifier must perform. More...

Classes
class	ProofOfCorrectDecryption
	Performs a proof of shuffle of commitments. It is an implementation of the Verfication class. More...
class	ProofOfShuffleOfCiphers
	Performs a proof of shuffle of ciphers. It is an implementation of the Verfication class. More...
class	ProofOfShuffleOfCommitments
	Performs a proof of shuffle of commitments. It is an implementation of the Verfication class. More...
class	Verification
	Provides an interface every verification we want to perform must implement. More...

Detailed Description

Implements all the proof a verificatum verifier must perform.

The proof of shuffle of commitment, the proof of shuffle of ciphertexts and the proof of correct decryption factors are implemented in this module.