sdiehl / bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
☆539Updated 2 years ago
Alternatives and similar repositories for bulletproofs:
Users that are interested in bulletproofs are comparing it to the libraries listed below
- Λ ⚬ λ: Functional Lattice Cryptography☆227Updated 3 years ago
- Smart Contracts Running on a BFT Hardened Raft☆453Updated 3 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 2 years ago
- Peer-to-peer encrypted message exchange☆384Updated 4 years ago
- Simple blockchain server written in Haskell for educational purposes☆601Updated 6 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆74Updated 5 years ago
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆416Updated 3 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆406Updated last year
- Constant-Time Toolkit☆295Updated 6 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆215Updated 5 years ago
- The Honey Badger of BFT Protocols☆318Updated 4 years ago
- Decentralize your secrets!☆118Updated 5 years ago
- OCaml DSL for verifiable computation☆498Updated last month
- Scalable collective authority☆429Updated last year
- zk-SNARK parameter multi-party computation protocol☆173Updated 5 years ago
- My reading list of academic papers and research notes☆243Updated 2 years ago
- NuCypher fully homomorphic encryption (NuFHE) library implemented in Python☆450Updated 2 years ago
- A zkSNARK tutorial and development environment☆404Updated 4 years ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 5 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆125Updated 2 years ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆177Updated 2 years ago
- A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)☆529Updated last year
- Java library for distributed zero knowledge proof systems☆239Updated 2 years ago
- A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.☆111Updated 8 years ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 6 years ago
- ☆78Updated 5 years ago
- ☆63Updated 5 years ago
- A curated collection of resources on smart contract programming languages☆244Updated last year
- A Lem formalization of EVM and some Isabelle/HOL proofs☆239Updated 2 years ago