sdiehl / bulletproofsLinks
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
☆540Updated 2 years ago
Alternatives and similar repositories for bulletproofs
Users that are interested in bulletproofs are comparing it to the libraries listed below
Sorting:
- Λ ⚬ λ: Functional Lattice Cryptography☆230Updated 4 years ago
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆418Updated 4 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆215Updated 5 years ago
- OCaml DSL for verifiable computation☆499Updated last week
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆125Updated 3 years ago
- Peer-to-peer encrypted message exchange☆384Updated 4 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆75Updated 5 years ago
- Constant-Time Toolkit☆296Updated 6 years ago
- NuCypher fully homomorphic encryption (NuFHE) library implemented in Python☆452Updated 2 years ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 6 years ago
- My reading list of academic papers and research notes☆243Updated 3 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A Java library for zk-SNARK circuits☆212Updated 2 years ago
- Smart Contracts Running on a BFT Hardened Raft☆453Updated 3 years ago
- Interfaces for Relations and SNARKs for these relations☆856Updated this week
- Collection of papers in the field of distributed systems, game theory, cryptography, cryptoeconomics, zero knowledge☆131Updated 4 years ago
- A pure-Rust implementation of Bulletproofs using Ristretto.☆1,085Updated 10 months ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆181Updated 3 years ago
- Library for zero-knowledge proof based applications (like anonymous credentials)☆234Updated 2 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated last year
- An implementation of the paper "Honey Badger of BFT Protocols" in Rust. This is a modular library of consensus.☆363Updated last year
- Java library for distributed zero knowledge proof systems☆245Updated 3 years ago
- zk-SNARK parameter multi-party computation protocol☆172Updated 5 years ago
- The start page about my efforts around smart contract verification☆298Updated 3 years ago
- The Honey Badger of BFT Protocols☆320Updated 5 years ago
- Lecture notes for a course on cryptography☆530Updated last year
- ☆78Updated 5 years ago
- Decentralize your secrets!☆117Updated 5 years ago
- Cryptographic accumulators in Rust.☆137Updated 2 months ago