crates.io · npm82良好健康指数0xMiden/miden-vmSTARK-based virtual machineRust★ 757↓ 156.6K/月2026年7月13日Apache-2.02026年7月13日 · 指标 1.13.0
crates.io · npm81良好健康指数lambdaclass/ethrexMinimalist, stable, modular, fast, and ZK native implementation of the Ethereum protocol in Rust. L1 and L2 execution client.Rust★ 8882026年7月18日Apache-2.02026年7月18日 · 指标 1.13.0
crates.io · npm80良好健康指数0xPolygonMiden/miden-vmSTARK-based virtual machineRust★ 7572026年7月17日Apache-2.02026年7月17日 · 指标 1.13.0
npm · Go · crates.io78良好健康指数unionlabs/unionThe trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.Rust★ 73.9K↓ 351/月2026年7月15日Apache-2.02026年7月15日 · 指标 1.13.0
crates.io77良好健康指数ProvableHQ/snarkOSA Decentralized Operating System for ZK ApplicationsRust★ 4,526↓ 1,515/月2026年7月20日Apache-2.02026年7月20日 · 指标 1.13.0
—77良好健康指数zcoinofficial/zcoinThe privacy-focused cryptocurrencyC++ · C · Python★ 7912026年7月19日MIT2026年7月19日 · 指标 1.13.0
crates.io · npm76良好健康指数risc0/risc0RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.C++ · Rust · Cuda★ 2,166↓ 108.4K/月2026年7月17日Apache-2.02026年7月17日 · 指标 1.13.0
crates.io75良好健康指数ProvableHQ/snarkVMA zkVM for Decentralized Private Computations (DPC)Rust★ 1,162↓ 64.8K/月2026年7月17日Apache-2.02026年7月17日 · 指标 1.13.0
crates.io67中等健康指数starkware-libs/stwo-cairoProve Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.Rust · Cairo★ 2812026年7月19日无许可证2026年7月19日 · 指标 1.13.0
crates.io67中等健康指数zcash/halo2The Halo2 zero-knowledge proving systemRust★ 912↓ 561.5K/月2026年7月21日自定义许可证2026年7月21日 · 指标 1.13.0
npm66中等健康指数zk-kit/zk-kitA monorepo of reusable libraries for zero-knowledge technologies.TypeScript★ 3742026年7月20日MIT2026年7月20日 · 指标 1.13.0
Go · npm61中等健康指数vineethkrishnan/vaultctlZero-knowledge password vault. Self-hosted, end-to-end encrypted, open source.TypeScript · Go★ 12026年7月22日AGPL-3.02026年7月22日 · 指标 1.13.0
Go58中等健康指数JupiterMetaLabs/jmdnJMDT Decentralized Network codebaseGo★ 72026年7月19日Apache-2.02026年7月19日 · 指标 1.13.0
npm56中等健康指数vLannaAi/noy-dbZero-knowledge, offline-first, encrypted document store with pluggable backends and multi-user access controlTypeScript★ 22026年7月15日MIT2026年7月15日 · 指标 1.13.0
crates.io47存在风险健康指数lurk-lab/lurk-betaLurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)Rust★ 451↓ 3/月2026年7月21日Apache-2.02026年7月21日 · 指标 1.13.0