Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
ark-bn254
Counted from the Cargo.toml manifests of the 30 indexed repositories that declare ark-bn254 as a dependency — not download counts. Dependency data last verified 2026-08-13.
Crates that show up unusually often in ark-bn254 projects. The most distinctive pairings rank first — crates these projects use far more than the average indexed Rust project does, not just crates that are popular everywhere. Each percentage is the share of ark-bn254 projects that also use it.
Space and Time | Proof of SQL
Rust implementation of the Ethereum Virtual Machine.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Noir is a domain specific language for zero knowledge proofs
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Minimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.
Performance and security acceleration for zkVMs.
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.
The proof systems used by Mina
⚙️ Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.
Common cryptographic library used in software at Mysten Labs.
Rust SDK for the Solana blockchain, used by on-chain program developers and the Agave validator
Tooling for creating collaborative SNARKs for Circom and Noir circuits.
Monorepo for Boundless, the universal ZK protocol.
A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.
Logos blockchain node
Clementine repository
Fiat-Shamir for the masses.
A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
Heima network main-net
An open-source protocol and distributed network for confidential coordination.
An open-source protocol and distributed network for confidential coordination.
Nethermind Privacy Engineering team's implementation of private payments for the Stellar network
Implementation experiments as part of the design process of Starstream VM
Main components and documentation for the World ID Protocol.
Home of the Logos Execution Environment (LEE) and the first Logos Execution Zone (LEZ).