verificatum
Develops cryptographic software. Used in local and national electronic elections in Israel, Norway, Spain, Estonia, and Switzerland.
Stockholm, Sweden
Pinned Repositories
verificatum-gmpmee
Extension to GMP library that allows fast fixed-basis exponentiations, simultaneous exponentiation, and randomly choosing safe-primes.
verificatum-vcr
Core routines for the Verificatum Mix-Net (VMN) and tools.
verificatum-vec
Self-contained elliptic curve library that provides optimized routines for fixed-basis, and simultaneous, exponentiation and similar routines.
verificatum-vecj
Java wrapper of Verificatum Elliptic Curve library (VEC).
verificatum-vjsc
NEWS! We will soon release a TypeScript transpilation and improvement of this library. Self-contained cryptographic library for use in electronic voting clients. Complete documentation with references to the literature makes it good teaching material.
verificatum-vmgj
Java wrapper of GMP and GMP Modular Exponentiation Extension library (GMPMEE).
verificatum-vmn
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
verificatum-vts-ba
Fast, typed, tested, documented, self-contained big integer library in pure TypeScript with zero dependencies.
verificatum.github.io
verificatum's Repositories
verificatum/verificatum-vjsc
NEWS! We will soon release a TypeScript transpilation and improvement of this library. Self-contained cryptographic library for use in electronic voting clients. Complete documentation with references to the literature makes it good teaching material.
verificatum/verificatum-vmn
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
verificatum/verificatum-vcr
Core routines for the Verificatum Mix-Net (VMN) and tools.
verificatum/verificatum-vec
Self-contained elliptic curve library that provides optimized routines for fixed-basis, and simultaneous, exponentiation and similar routines.
verificatum/verificatum-gmpmee
Extension to GMP library that allows fast fixed-basis exponentiations, simultaneous exponentiation, and randomly choosing safe-primes.
verificatum/verificatum-vmgj
Java wrapper of GMP and GMP Modular Exponentiation Extension library (GMPMEE).
verificatum/verificatum-vecj
Java wrapper of Verificatum Elliptic Curve library (VEC).
verificatum/verificatum-vts-ba
Fast, typed, tested, documented, self-contained big integer library in pure TypeScript with zero dependencies.
verificatum/verificatum.github.io