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 3, 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."