verificatum / verificatum-vjsc
NEWS! We will soon release a TypeScript transpilation and improvement of this library. Self-contained cryptographic library for use in electronic voting clients. Complete documentation with references to the literature makes it good teaching material.
☆15Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for verificatum-vjsc
- Cryptographic library written in JavaScript. Created at UZH as a part of an E-Voting project.☆13Updated last year
- A bilinear pairing library for petlib☆35Updated last year
- Comprehensive Open Source Library for Secure Multiparty Computation☆181Updated last year
- Additive homomorphic EC-ElGamal☆29Updated 4 years ago
- C++ library for IOP-based zkSNARKs☆149Updated 10 months ago
- Implementation of a pairing over a Barreto-Naehrig curve on top of OpenSSL.☆31Updated 8 years ago
- Hashing to Elliptic Curves☆79Updated 2 months ago
- CryptoBib BibTex files☆52Updated last month
- Pure Python implementation of standard elliptic curves☆17Updated 3 years ago
- ☆38Updated 6 years ago
- A python library that implements a number of Privacy Enhancing Technolgies☆134Updated 2 years ago
- SageMath library for constructing elliptic curves☆65Updated last year
- Prototype implementation of Prio, a system for the private computation of aggregate statistics.☆60Updated 6 years ago
- Multiprecision arithmetic & RSA accumulators, within SNARKs☆52Updated 5 months ago
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆31Updated 9 months ago
- ☆50Updated last year
- A high-level framework for developing efficient zk-SNARK circuits☆184Updated last year
- Proof-of-concept implementation of a homomorphic Simon encryption using YASHE and FV leveled homomorphic cryptosystems☆18Updated 9 years ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆80Updated 5 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆37Updated 4 years ago
- ☆132Updated 4 years ago
- ElGamal encryption and related zero-knowledge proofs☆16Updated this week
- JHU Advanced Topics in Applied Cryptography (601.745)☆51Updated 6 years ago
- ☆33Updated 3 years ago
- Library for programming zk-SNARKs directly in Python☆173Updated 5 months ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆123Updated 2 years ago
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆125Updated last year
- XPIR: Private Information Retrieval for Everyone☆115Updated 3 years ago