1. Verificatum
  2. Open




This is a minor extension of the Gnu Multiprecision Library (GNU MP).
It adds simultaneous modular exponentiation and fixed base modular
exponentiation functionality to the set of integer functions (the
mpz-functions), as well as special purpose primality testing routines.

GMP does contain primality testing routines, but they do not use
cryptographically strong randomness and do not allow fast testing or
sieving for safe-primality.

For a detailed account of such algorithms, a good source is Handbook
of Applied Cryptography, Menezes, Oorshot, and Vanstone, which is
available for free at <http://www.cacr.math.uwaterloo.ca/hac>.

The following assumes that you are using a release. Developers should
also read README_DEV.


If you are using a distribution, then you simply use

        $ ./configure
        $ make

to build the library and an executable "gmpmee" that allows testing
and benchmarking some of the routines.



        $ make install

to install the library libgmpmee.{la,a,so} and the corresponding
header file gmpmee.h in the standard locations. See INSTALL for
details on other ways to invoke ./configure, e.g., to use a user-local


If you have done a standard install you may use the library by
including gmpmee.h and adding the flags -lgmp and -lgmpmee. We could
for example compile a program "foo.c" using the library as

        $ gcc foo.c -o foo -lgmpmee -lgmp

If you have done a non-standard installation you may need to update
some environment variables.

                     API DOCUMENTATION

You may use
        $ make api

to build also some documentation using doxygen (this assumes you have
installed doxygen). The API is not installed anywhere. You can copy it
to any location.

                       REPORTING BUGS

Minor bugs should be reported in the repository system as issues or
bugs. Security critical bugs, vulnerabilities, etc should be reported
directly to Verificatum AB. We will make best effort to disclose the
information in a responsible way before the finder gets proper credit.