sdiehl / bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
☆535Updated last year
Related projects ⓘ
Alternatives and complementary repositories for bulletproofs
- Simple blockchain server written in Haskell for educational purposes☆601Updated 6 years ago
- OCaml DSL for verifiable computation☆496Updated this week
- Λ ⚬ λ: Functional Lattice Cryptography☆225Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 5 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆123Updated 2 years ago
- Proof-of-concept Blockchain in Haskell☆90Updated 6 years ago
- Peer-to-peer encrypted message exchange☆380Updated 4 years ago
- Constant-Time Toolkit☆294Updated 6 years ago
- Smart Contracts Running on a BFT Hardened Raft☆453Updated 2 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆214Updated 4 years ago
- A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)☆518Updated last year
- An implementation of the paper "Honey Badger of BFT Protocols" in Rust. This is a modular library of consensus.☆357Updated 10 months ago
- (OLD REPO) A debug-oriented Ethereum VM (EVM)☆114Updated 6 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆74Updated 4 years ago
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆415Updated 3 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆237Updated 2 years ago
- zk-SNARK parameter multi-party computation protocol☆171Updated 5 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆404Updated 9 months ago
- My reading list of academic papers and research notes☆243Updated 2 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 2 years ago
- The start page about my efforts around smart contract verification☆299Updated 2 years ago
- Interfaces for Relations and SNARKs for these relations☆794Updated 3 weeks ago
- ☆78Updated 4 years ago