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: ⓘ
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆122Updated 2 years ago
- ☆50Updated last year
- A bilinear pairing library for petlib☆34Updated last year
- Repo for the implementation of the isogeny based signature scheme CSI-FiSh☆23Updated last year
- ☆22Updated 8 years ago
- ☆52Updated this week
- Sage implementation of the isogeny-and-pairing based VDF☆24Updated 3 years ago
- Implementation of a pairing over a Barreto-Naehrig curve on top of OpenSSL.☆31Updated 8 years ago
- C++ library for IOP-based zkSNARKs☆145Updated 8 months ago
- CryptoBib Main Repository for Developers☆18Updated last month
- ☆46Updated this week
- Experiments with Universal Composability in EasyCrypt☆30Updated this week
- A python library that implements a number of Privacy Enhancing Technolgies☆130Updated last year
- JHU Advanced Topics in Applied Cryptography (601.745)☆50Updated 6 years ago
- ☆130Updated 4 years ago
- SageMath library for constructing elliptic curves☆63Updated last year
- An implementation of the LowMC block cipher family.☆24Updated 6 years ago
- Elliptic curve pairing in Python☆48Updated 4 years ago
- Zero-Knowledge Swiss Knife☆92Updated last year
- Isogeny-based signature using Unruh's construction and the SIDH library☆18Updated 7 years ago
- A C++ implementation of the TinyLEGO cryptographic protocol [NST17] for general secure two-party computation☆15Updated 7 years ago
- Pure Python implementation of standard elliptic curves☆17Updated 2 years ago
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆123Updated last year
- Hashing to Elliptic Curves☆79Updated 2 weeks ago
- Robust MPC-based confidentiality layer for blockchains☆128Updated 3 years ago
- Pinocchio-based adaptive zk-SNARK and distributed computation☆15Updated 6 years ago
- Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders☆63Updated last year
- ☆78Updated 4 years ago
- Implementation of Brakerski's leveled homomorphic encryption system☆41Updated 7 years ago
- A Platform for Robust Threshold Cryptography based on Asynchronous Publicly Verifiable Secret Sharing with Tunable Security☆95Updated 2 years ago
- CryptoBib BibTex files☆50Updated last week