Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/scipr-lab/dizk
Java library for distributed zero knowledge proof systems
cryptography distributed-computing zero-knowledge-proofs zksnarks
Last synced: 26 Jun 2024
![](https://github.com/scipr-lab.png)
https://github.com/Zokrates/ZoKrates
A toolbox for zkSNARKs on Ethereum
ethereum language snark verifiable-computation zero-knowledge zksnarks
Last synced: 26 Jun 2024
![](https://github.com/Zokrates.png)
https://github.com/sdiehl/bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
bulletproofs cryptography elliptic-curves pedersen-commitment range-proofs sigma zero-knowledge zk-snarks zksnarks
Last synced: 26 Jun 2024
![](https://github.com/sdiehl.png)
https://github.com/minerdao/awesome-aleo
Awesome Aleo mining and development resources maintained by MinerDAO community.
aleo aleo-pool aleo-resources zksnarks
Last synced: 25 Jun 2024
![](https://github.com/minerdao.png)
https://github.com/ProvableHQ/welcome
👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀
aleo blockchain leo zero-knowledge zksnarks
Last synced: 12 Jun 2024
![](https://github.com/ProvableHQ.png)
https://github.com/o1-labs/proof-systems
The proof systems used by Mina
bulletproofs kimchi plonk recursive-zkps zero-knowledge-proofs zksnarks
Last synced: 11 Jun 2024
![](https://github.com/o1-labs.png)
https://github.com/leonardoalt/fusion
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
ethereum l2 smart-contracts zkrollup zksnarks
Last synced: 09 Jun 2024
![](https://github.com/leonardoalt.png)
https://github.com/ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
compiler leo programming-language zero-knowledge zksnarks
Last synced: 06 Jun 2024
![](https://github.com/ProvableHQ.png)
https://github.com/microsoft/Spartan
Spartan: High-speed zkSNARKs without trusted setup
cryptography-library nizk rust-library verifiable-computing zero-knowledge-proofs zksnarks
Last synced: 05 Jun 2024
![](https://github.com/microsoft.png)
https://github.com/matter-labs/bellman
Bellman zkSNARK library for community with Ethereum's BN256 support
bellman rust team-crypto zero-knowledge zero-knowledge-proofs zkp zksnark zksnarks
Last synced: 05 Jun 2024
![](https://github.com/matter-labs.png)
https://github.com/Loopring/protocols
A zkRollup DEX & Payment Protocol
blockchain dex loopring lrc oedax smartwallet zero-knowledge zkrollup zksnarks
Last synced: 04 Jun 2024
![](https://github.com/Loopring.png)
https://github.com/sdiehl/arithmetic-circuits
Arithmetic circuits for zero knowledge proof systems
arithmetic-circuit compiler qap zero-knowledge zk-snarks zksnarks
Last synced: 30 May 2024
![](https://github.com/sdiehl.png)
https://github.com/AleoHQ/snarkOS
A Decentralized Operating System for ZK Applications
aleo blockchain cryptography rust zero-knowledge zksnarks
Last synced: 27 May 2024
![](https://github.com/AleoHQ.png)
https://github.com/visoftsolutions/noir_swift
Swift-based zkSNARK Proving&Verifying tool for noir-lang
Last synced: 25 May 2024
![](https://github.com/visoftsolutions.png)
https://github.com/visoftsolutions/noir_rs
Rust-based zkSNARK Proving&Verifying tool for noir-lang
Last synced: 24 May 2024
![](https://github.com/visoftsolutions.png)
https://github.com/visoftsolutions/noir_java
Java-based zkSNARK Proving&Verifying tool for noir-lang
Last synced: 24 May 2024
![](https://github.com/visoftsolutions.png)
https://github.com/fluidex/plonkit
A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
Last synced: 04 May 2024
![](https://github.com/fluidex.png)
https://github.com/AleoHQ/sdk
A Software Development Kit (SDK) for Zero-Knowledge Transactions
aleo blockchain sdk zero-knowledge zksnarks
Last synced: 19 Apr 2024
![](https://github.com/AleoHQ.png)
https://github.com/paulrberg/awesome-zkp-starter-pack
A curated collection of links for zero-knowledge proof cryptography used in blockchains
aztec blockchain ethereum zero-knowledge zero-knowledge-proofs zksnarks
Last synced: 09 Apr 2024
![](https://github.com/PaulRBerg.png)
https://github.com/AleoHQ/welcome
Welcome to Aleo. Where Applications Become Zero-Knowledge
aleo blockchain leo zero-knowledge zksnarks
Last synced: 05 Apr 2024
![](https://github.com/AleoHQ.png)
https://github.com/AleoHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
compiler leo programming-language zero-knowledge zksnarks
Last synced: 28 Mar 2024
![](https://github.com/AleoHQ.png)