Before installing the QED library, you must first install the GMP library, and OpenSSL. PBC is not required, as our tarfile includes the pbc files necessary from version 0.4.2.

Once you have the above libraries and downloaded the QED library, execute the following command

make