npm90优秀健康指数o1-labs/o1jsTypeScript framework for zk-SNARKs and zkAppsTypeScript★ 605↓ 23.4K/月2026年7月29日Apache-2.02026年7月29日 · 指标 2.10.0
npm · crates.io81优秀健康指数0xMiden/web-sdkMiden network web-centric SDKTypeScript · Rust · JavaScript★ 1↓ 12.9K/月2026年7月31日MIT2026年7月31日 · 指标 2.10.0
crates.io81优秀健康指数TaceoLabs/circom-helpers该仓库未发布描述。Rust★ 3↓ 46.7K/月2026年8月8日Apache-2.02026年8月8日 · 指标 2.10.0
npm · crates.io80优秀健康指数tetsuo-ai/agenc-protocolPublic protocol source of truth for AgenC: Anchor program, zkVM guest, migrations, and generated protocol artifactsTypeScript · JavaScript · Rust★ 5↓ 7,808/月2026年7月31日GPL-3.02026年7月31日 · 指标 2.10.0
Go63中等健康指数JupiterMetaLabs/jmdnJMDT Decentralized Network codebaseGo★ 72026年7月19日Apache-2.02026年7月19日 · 指标 2.10.0
crates.io62中等健康指数davxy/ark-vrfElliptic Curve VRFsRust★ 32↓ 305.5K/月2026年8月15日MIT2026年8月15日 · 指标 2.10.0
npm60中等健康指数lemmaoracle/lemmaGive AI proven facts — a cryptographically verified truth layer for agent AI, built on ZK proofs, selective disclosure, and on-chain provenance.Astro · TypeScript · HTML★ 1↓ 8,982/月2026年7月29日自定义许可证2026年7月29日 · 指标 2.10.0
crates.io57中等健康指数philsippl/circom-witness-rs该仓库未发布描述。Rust★ 64↓ 7,758/月2026年8月8日MIT2026年8月8日 · 指标 2.10.0