sdiehl / bulletproofsLinks
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
☆548Updated 3 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☆231Updated 4 years ago
- OCaml DSL for verifiable computation☆504Updated 2 weeks ago
- Simple blockchain server written in Haskell for educational purposes☆602Updated 7 years ago
- Privacy-preserving auditing for distributed ledgers☆67Updated 6 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆76Updated 5 years ago
- Peer-to-peer encrypted message exchange☆381Updated 5 years ago
- Smart Contracts Running on a BFT Hardened Raft☆451Updated 4 years ago
- The start page about my efforts around smart contract verification☆296Updated 3 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 3 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 7 months ago
- zk-SNARK parameter multi-party computation protocol☆177Updated 6 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- Proof-of-concept Blockchain in Haskell☆89Updated 8 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆242Updated 3 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆127Updated 3 years ago
- Language Design Community for the EVM: Intro and Resources☆133Updated 8 years ago
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆424Updated 4 years ago
- Optimised bilinear pairings over elliptic curves☆56Updated last year
- Constant-Time Toolkit☆300Updated 7 years ago
- Decentralize your secrets!☆116Updated 6 years ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 7 years ago
- Obsidian language development☆80Updated 2 months ago
- ☆59Updated 3 years ago
- My reading list of academic papers and research notes☆245Updated 3 years ago
- A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.☆115Updated 9 years ago
- NuCypher fully homomorphic encryption (NuFHE) library implemented in Python☆456Updated 3 years ago
- Create your own Ethereum private net☆353Updated 8 years ago
- Intuitive Advanced Cryptography☆436Updated 3 years ago
- The Honey Badger of BFT Protocols☆324Updated 5 years ago
- A framework to execute and verify algorithms using Groth16 zkSNARKs.☆89Updated 5 years ago