The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
ark-ec
Counted from the Cargo.toml manifests of the 36 indexed repositories that declare ark-ec as a dependency — not download counts. Dependency data last verified 2026-08-13.
Crates that show up unusually often in ark-ec 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-ec projects that also use it.
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
Space and Time | Proof of SQL
The Parity Polkadot Blockchain SDK
Reference client for NEAR Protocol
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.
TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.
Noir is a domain specific language for zero knowledge proofs
WebAssembly Smart Contracts for the Cosmos SDK
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.
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
Bittensor Blockchain Layer
⚙️ Aurora Engine implements an Ethereum Virtual Machine (EVM) on the NEAR Protocol.
Common cryptographic library used in software at Mysten Labs.
Web3 Ultimate Execution Engine
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.
Hyperbridge scales verifiable interoperability
Rust implementation of the Albatross protocol
Node for Polymesh Blockchain
A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.
A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.
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
iris-mpc repository
Main components and documentation for the World ID Protocol.
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.