Contains the declaration of the proof namespace. More...
#include "verification.hpp"#include "proofofshuffleofcommitments.hpp"#include "proofofshuffleofciphers.hpp"#include "proofofcorrectdecryption.hpp"
This graph shows which files directly or indirectly include this file: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.