Centralised E2E verifiable evoting via pseudonym braiding and history trees
-
Updated
Jul 6, 2024 - Julia
#
verificatum
Here are 8 public repositories matching this topic...
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
cryptography shuffle mix-net verificatum distributed-key-generation zero-knowledge-proofs proof-of-a-shuffle distributed-decryption end-to-end-verifiable universally-verifiable
-
Updated
Apr 25, 2024 - Java
Verificatum compatible verifier and prover for NIZK proofs of shuffle
-
Updated
Nov 6, 2024 - 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.
cryptography arithmetic modular-arithmetic gmp modular-exponentiation verificatum primality-testing-routines
-
Updated
Jun 10, 2024 - C
Java wrapper of GMP and GMP Modular Exponentiation Extension library (GMPMEE).
cryptography arithmetic modular-arithmetic gmp jni-wrapper modular-exponentiation verificatum primality-testing-routines verificatum-gmpmee
-
Updated
Sep 10, 2022 - M4
Java wrapper of Verificatum Elliptic Curve library (VEC).
cryptography elliptic-curves exponentiation jni-wrapper elliptic-curve-arithmetic verificatum verificatum-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 the verificatum topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verificatum topic, visit your repo's landing page and select "manage topics."