verificatum
Here are 8 public repositories matching this topic...
Centralised E2E verifiable evoting via pseudonym braiding and history trees
- Updated
Jul 6, 2024 - Julia
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
- Updated
Apr 25, 2024 - Java
Verificatum compatible verifier and prover for NIZK proofs of shuffle
- Updated
Feb 14, 2025 - Julia
Self-contained elliptic curve library that provides optimized routines for fixed-basis, and simultaneous, exponentiation and similar routines.
- Updated
Jun 10, 2024 - C
Extension to GMP library that allows fast fixed-basis exponentiations, simultaneous exponentiation, and randomly choosing safe-primes.
- Updated
Jun 10, 2024 - C
Java wrapper of GMP and GMP Modular Exponentiation Extension library (GMPMEE).
- Updated
Sep 10, 2022 - M4
Java wrapper of Verificatum Elliptic Curve library (VEC).
- Updated
Sep 10, 2022 - M4
Library that implements an universal election verifier
- Updated
Mar 26, 2022 - TypeScript
Improve this page
Add a description, image, and links to theverificatum topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with theverificatum topic, visit your repo's landing page and select "manage topics."