The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
ark-serialize
Counted from the Cargo.toml manifests of the 35 indexed repositories that declare ark-serialize as a dependency — not download counts. Dependency data last verified 2026-08-13.
Crates that show up unusually often in ark-serialize 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-serialize 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
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.
WebAssembly Smart Contracts for the Cosmos SDK
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
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
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.
Monorepo for Boundless, the universal ZK protocol.
Rust implementation of the Albatross protocol
Node for Polymesh Blockchain
[🧠] Base is a Bittensor subnet enabling decentralized collaborative AI research through multiple challenges, each focused on a specific objective where miners compete and contribute innovative code.
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
Nethermind Privacy Engineering team's implementation of private payments for the Stellar network
iris-mpc repository
Main components and documentation for the World ID Protocol.
Distributed object-capability authorization with ZK proofs
Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'
Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.