verificatum

There are 0 repository under verificatum topic.

PeaceFounder / PeaceFounder.jl
Centralised E2E verifiable evoting by pseudonym braiding and history trees
cryptography evoting verificatum history-tree
Language:Julia 17
verificatum / verificatum-vmn
The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.
cryptography verificatum mix-net shuffle proof-of-a-shuffle distributed-key-generation distributed-decryption end-to-end-verifiable zero-knowledge-proofs universally-verifiable
Language:Java 11
PeaceFounder / ShuffleProofs.jl
Verificatum compatible verifier and prover for NIZK proofs of shuffle
cryptography nizk zero-knowledge-proofs verificatum elgamal
Language:Julia 8
verificatum / verificatum-vec
Self-contained elliptic curve library that provides optimized routines for fixed-basis, and simultaneous, exponentiation and similar routines.
cryptography elliptic-curve-arithmetic elliptic-curves exponentiation gmp verificatum
Language:C 5
verificatum / verificatum-gmpmee
Extension to GMP library that allows fast fixed-basis exponentiations, simultaneous exponentiation, and randomly choosing safe-primes.
arithmetic cryptography gmp modular-arithmetic modular-exponentiation primality-testing-routines verificatum
Language:C 4
verificatum / verificatum-vmgj
Java wrapper of GMP and GMP Modular Exponentiation Extension library (GMPMEE).
modular-arithmetic cryptography arithmetic gmp modular-exponentiation verificatum primality-testing-routines jni-wrapper verificatum-gmpmee
Language:M4 3
nvotes / juvenal-lib
Library that implements an universal election verifier
election-record verifier verificatum nvotes electionguard election universal
Language:TypeScript 2
verificatum / verificatum-vecj
Java wrapper of Verificatum Elliptic Curve library (VEC).
cryptography elliptic-curve-arithmetic elliptic-curves exponentiation jni-wrapper verificatum verificatum-vec
Language:M4 2