Namespace List

Here is a list of all namespaces with brief descriptions:

arithm	Implements useful algebraic structures such as groups, fields, p-subgroups, etc
cryptoTools	Contains cryptographic tools, namely implementations of the SHA-2 hashfunctions, a pseudo-random generator and a random oracle
elGamal	Implements the el Gamal assymmetric cipher independantly of the group in which it is used
proofs	Implements all the proof a verificatum verifier must perform
verifierUtils	Contains several classes and functions used throughout the whole verifier, in particular the ByteTree