Top 21 Rust zero-knowledge Projects

zero-knowledge

• Add a project

• leo

  1 4,787 9.8 Rust

  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• snarkOS

  5 4,316 9.9 Rust

  A Decentralized Operating System for ZK Applications

  

• ZoKrates

  1 1,817 5.1 Rust

  A toolbox for zkSNARKs on Ethereum

  

• darkfi

  16 1,103 9.9 Rust

  Anonymous. Uncensored. Sovereign.

  

  Project mention: DarkFi - anonymous ZK L1 networking | /r/HeterodoxTechnology | 2023-12-07

• snarkVM

  1 1,062 9.9 Rust

  A Virtual Machine for Zero-Knowledge Executions

  

• sp1

  1 945 9.9 Rust

  A performant, 100% open-source, contributor-friendly zkVM.

  

  Project mention: YaCy, a distributed Web Search Engine, based on a peer-to-peer network | news.ycombinator.com | 2024-03-05

  As it turns out, a lot can be.

  The concept of a ZK VM is that it is able to prove arbitrary code. Risc0 and the more recent SP1[1] both compile arbitrary Rust programs into ZK circuits for generating and verifying execution proofs.

  [1] https://github.com/succinctlabs/sp1

• ezkl

  7 928 9.2 Rust

  ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

  

  Project mention: Show HN: Turn ML/AI models into zero-knowledge proofs | news.ycombinator.com | 2023-10-14

• noir

  4 874 9.9 Rust

  Noir is a domain specific language for zero knowledge proofs

  

  Project mention: [Aztec Noir + Scroll] Crea ZK DApps fácil | dev.to | 2023-11-07

  mkdir -p $HOME/.nargo/bin && \ curl -o $HOME/.nargo/bin/nargo-x86_64-unknown-linux-gnu.tar.gz -L https://github.com/noir-lang/noir/releases/download/v0.17.0/nargo-x86_64-unknown-linux-gnu.tar.gz && \ tar -xvf $HOME/.nargo/bin/nargo-x86_64-unknown-linux-gnu.tar.gz -C $HOME/.nargo/bin/ && \ echo 'export PATH=$PATH:$HOME/.nargo/bin' >> ~/.bashrc && \ source ~/.bashrc

• halo2

  3 722 4.2 Rust

  The Halo2 zero-knowledge proving system

  

• miden-vm

  6 623 9.5 Rust

  STARK-based virtual machine

  

• plonk

  1 541 7.7 Rust

  Pure Rust implementation of the PLONK ZKProof System done by the Dusk team (by dusk-network)

  

• lurk-beta

  6 429 9.2 Rust

  Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp. (contact: @porcuquine)

  

• ministark

  1 344 7.7 Rust

  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

• Sunscreen

  3 245 7.8 Rust

  A compiler for fully homomorphic encryption and zero knowledge proofs

  

  Project mention: Programming Zero Knowledge Proofs: From Zero to Hero | news.ycombinator.com | 2024-09-02

• triton-vm

  1 244 9.8 Rust

  Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

  

  Project mention: Ask HN: Weirdest Computer Architecture? | news.ycombinator.com | 2024-07-27

  https://github.com/TritonVM/triton-vm

• ronkathon

  1 180 8.9 Rust

  Cryptography Educational Foundations

  

  Project mention: Educational, mathematically transparent, well documented cryptography in Rust | news.ycombinator.com | 2024-06-30

• noname

  2 179 9.5 Rust

  Noname: a programming language to write zkapps

  

  Project mention: Programming Zero Knowledge Proofs: From Zero to Hero | news.ycombinator.com | 2024-09-02

  If people are interested in trying ZKPs you can write programs in noname[1] in the noname playground[2] and have them compiled down to circuit and also prove/verify them. It's mostly a demo but the language is actively being developed and there's a list of easy tasks to pick up on in the main repo.

  [1]: https://github.com/zksecurity/noname

  [2]: https://noname-playground.xyz/

• aleph-node

  2 76 9.3 Rust

  Node implementation for aleph blockchain built with Substrate framework

  

• twenty-first

  1 73 9.7 Rust

  Collection of mathematics routines and cryptography for the twenty-first century

  

• sylow

  1 17 8.5 Rust

  Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve

  

  Project mention: Sylow: High performance, secure BLS/BN/ECC library [pdf] | news.ycombinator.com | 2024-09-09

• yazkb

  1 0 5.6 Rust

  Yet Another Zero Knowledge Benchmark

  Project mention: Show HN: Yet Another Zero Knowledge Benchmark | news.ycombinator.com | 2024-05-09

Rust zero-knowledge related posts

• Programming Zero Knowledge Proofs: From Zero to Hero

  6 projects | news.ycombinator.com | 2 Sep 2024

• DarkFi - anonymous ZK L1 networking

  1 project | /r/HeterodoxTechnology | 7 Dec 2023

• SnarkOS: A Decentralized Operating System for Zero-Knowledge Applications

  1 project | /r/hypeurls | 27 Jun 2023

• SnarkOS: A Decentralized Operating System for Zero-Knowledge Applications

  1 project | news.ycombinator.com | 27 Jun 2023

• 2023/5/23 Community Announcements

  2 projects | /r/Aleo | 22 May 2023

• 2023/05/15 Dev Workshop with ProofCat Summary!

  1 project | /r/Aleo | 15 May 2023

• 2023/4/15 Network Upgrade Changelog !!!

  2 projects | /r/Aleo | 16 Apr 2023
• A note from our sponsor - SaaSHub
  www.saashub.com | 13 Oct 2024

  SaaSHub helps you find the best software and product alternatives Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

Do not miss the trending Rust projects with our weekly report!