Contains the declaration of the proof namespace. More...
#include "verification.hpp"
#include "proofofshuffleofcommitments.hpp"
#include "proofofshuffleofciphers.hpp"
#include "proofofcorrectdecryption.hpp"
Go to the source code of this file.
Namespaces | |
namespace | proofs |
Implements all the proof a verificatum verifier must perform. |
Contains the declaration of the proof namespace.
When using the libproofs, including this file provides all the headers one might need.
Definition in file proofs.hpp.