crates.io81良好健康指数starkware-libs/cairoCairo is the first Turing-complete language for creating provable programs for general computation.Rust★ 1,896↓ 2/月2026年7月14日Apache-2.02026年7月14日 · 指标 1.13.0
—77良好健康指数zcoinofficial/zcoinThe privacy-focused cryptocurrencyC++ · C · Python★ 7912026年7月19日MIT2026年7月19日 · 指标 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.io68中等健康指数ProjectZKM/ZirenZiren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32. Rust★ 1162026年7月21日Apache-2.02026年7月21日 · 指标 1.13.0
crates.io68中等健康指数zkMIPS/zkMIPSZiren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32. Rust★ 1162026年7月15日Apache-2.02026年7月15日 · 指标 1.13.0
crates.io67中等健康指数zcash/halo2The Halo2 zero-knowledge proving systemRust★ 912↓ 561.5K/月2026年7月21日自定义许可证2026年7月21日 · 指标 1.13.0
npm52中等健康指数zkpassport/zkpassport-packagesZKPassport MonorepoTypeScript · Solidity★ 352026年7月17日无许可证2026年7月17日 · 指标 1.13.0