Adder Cryptographic Library

Introduction

This is the documentation for the Adder Cryptographic Library (libadder). The library supports threshold homomorphic Elgamal encryption with applications to electronic voting. It is currently used by the Adder voting system.

Features

Libadder supports the following features:

• Elgamal public and private keys (adder::PublicKey and adder::PrivateKey)
• Zero-knowledge proofs of set membership (adder::BallotProof)

Cryptographic Parameters

Throughout this documentation, certain symbols are used without further explanation.

• is a large prime.
• is a prime divisor of .
• is the generator of a -order subgroup of .

---