Top 5 Rust Zkp Projects

namada

9 2,372 10.0 Rust

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

Project mention: Namada: The Blockchain of the Future | /r/BlockchainStartups | 2023-11-16

More information : https://namada.net/
cairo

1 1,383 9.9 Rust

Cairo is the first Turing-complete language for creating provable programs for general computation. (by starkware-libs)
InfluxDB

www.influxdata.com
sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
snarkVM

1 939 10.0 Rust

A Virtual Machine for Zero-Knowledge Executions

Project mention: 2023/5/23 Community Announcements | /r/Aleo | 2023-05-22

Core Engineering Updates Merges: snarkVM https://github.com/AleoHQ/snarkVM/pull/1543: Refactors coinbase and snark in synthesizer https://github.com/AleoHQ/snarkVM/pull/1544: Moves Deployment, Execution, and Fee to the block folder https://github.com/AleoHQ/snarkVM/pull/1545: Moves Transaction executors to VM https://github.com/AleoHQ/snarkVM/pull/1546: Migrates finalize operation to the block folder https://github.com/AleoHQ/snarkVM/pull/1547: Introduce complete abstractions for Stack and Registers snarkOS https://github.com/AleoHQ/snarkOS/pull/2391: Reduce maximum handshake message size https://github.com/AleoHQ/snarkOS/pull/2392: Use blocking tasks for some heavy inbound operations https://github.com/AleoHQ/snarkOS/pull/2393: Feature-gate jemalloc https://github.com/AleoHQ/snarkOS/pull/2395: Jemalloc no default features https://github.com/AleoHQ/snarkOS/pull/2396: Deduplicate peer IP in logs https://github.com/AleoHQ/snarkOS/pull/2397: Enforce a 1s raw TCP connection timeout leo No substantial updates
fastcrypto

1 227 9.0 Rust

Common cryptographic library used in software at Mysten Labs.
ckb-bf-zkvm

1 6 3.9 Rust

A BrainFuck zkVM implementation on CKB, using Halo2.

Project mention: How to program with CKB: Layer 1.5 | /r/NervosNetwork | 2023-09-11

cryptape/ckb-bf-zkvm: A BrainFuck zkVM implementation on CKB, using Halo2.
WorkOS

workos.com
sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-11-16.