Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: verificatum

Self-contained elliptic curve library that provides optimized routines for fixed-basis, and simultaneous, exponentiation and similar routines.

Language: C - Size: 161 KB - Last synced: about 24 hours ago - Pushed: 1 day ago - Stars: 5 - Forks: 0

Extension to GMP library that allows fast fixed-basis exponentiations, simultaneous exponentiation, and randomly choosing safe-primes.

Language: C - Size: 88.9 KB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 4 - Forks: 2

The first implementation of a fully distributed provably secure and universally verifiable mix-net based on the El Gamal cryptosystem.

Language: Java - Size: 436 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 11 - Forks: 3

Centralised E2E verifiable evoting by pseudonym braiding and history trees

Language: Julia - Size: 12.4 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 16 - Forks: 1

Verificatum compatible verifier and prover for NIZK proofs of shuffle

Language: Julia - Size: 380 KB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 8 - Forks: 1

Java wrapper of Verificatum Elliptic Curve library (VEC).

Language: M4 - Size: 95.7 KB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

Java wrapper of GMP and GMP Modular Exponentiation Extension library (GMPMEE).

Language: M4 - Size: 99.6 KB - Last synced: over 1 year ago - Pushed: almost 2 years ago - Stars: 3 - Forks: 0

Library that implements an universal election verifier

Language: TypeScript - Size: 2.83 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 2 - Forks: 0

Related Keywords