Alternatives and similar repositories for bulletproofs:

Users that are interested in bulletproofs are comparing it to the libraries listed below

• cpeikert / Lol
  Λ ⚬ λ: Functional Lattice Cryptography
  ☆230Updated 3 years ago
• kadena-io / juno
  Smart Contracts Running on a BFT Hardened Raft
  ☆453Updated 3 years ago
• o1-labs / snarky
  OCaml DSL for verifiable computation
  ☆498Updated 2 months ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆295Updated 6 years ago
• Consensys / constellation
  Peer-to-peer encrypted message exchange
  ☆384Updated 4 years ago
• CEA-LIST / Cingulata
  Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…
  ☆406Updated last year
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆125Updated 2 years ago
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆75Updated 5 years ago
• nicola / decentralized-research
  My reading list of academic papers and research notes
  ☆243Updated 3 years ago
• pirapira / bamboo
  Bamboo see https://github.com/cornellblockchain/bamboo
  ☆323Updated 2 years ago
• evm-lang-design / evm-lang-design
  Language Design Community for the EVM: Intro and Resources
  ☆137Updated 7 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• aviaviavi / legion
  Simple blockchain server written in Haskell for educational purposes
  ☆601Updated 7 years ago
• MichaelBurge / haskoin
  Proof-of-concept Blockchain in Haskell
  ☆90Updated 7 years ago
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆66Updated 6 years ago
• chrisnc / tangaroa
  A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.
  ☆112Updated 8 years ago
• pirapira / ethereum-formal-verification-overview
  The start page about my efforts around smart contract verification
  ☆299Updated 2 years ago
• pirapira / eth-isabelle
  A Lem formalization of EVM and some Isabelle/HOL proofs
  ☆240Updated 2 years ago
• stellar / slingshot
  A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
  ☆416Updated 3 years ago
• elibensasson / libSTARK
  A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)
  ☆530Updated last year
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 4 years ago
• GaloisInc / cryptol
  Cryptol: The Language of Cryptography
  ☆1,147Updated this week
• f-prime / arcanevm
  A Fully Homomorphic Encryption Brainfuck virtual machine
  ☆216Updated 5 years ago
• poanetwork / hbbft
  An implementation of the paper "Honey Badger of BFT Protocols" in Rust. This is a modular library of consensus.
  ☆361Updated last year
• bbuenz / BulletProofLib
  Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)
  ☆178Updated 2 years ago
• haskoin / haskoin-core
  Haskoin Core is a Bitcoin and Bitcoin Cash library
  ☆526Updated 3 months ago
• dalek-cryptography / bulletproofs
  A pure-Rust implementation of Bulletproofs using Ristretto.
  ☆1,075Updated 7 months ago
• zcash / mpc
  zk-SNARK parameter multi-party computation protocol
  ☆173Updated 5 years ago
• nucypher / nufhe
  NuCypher fully homomorphic encryption (NuFHE) library implemented in Python
  ☆450Updated 2 years ago
• howardwu / libsnark-tutorial
  A zkSNARK tutorial and development environment
  ☆404Updated 4 years ago