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
Go79良好健康指数LFDT-Lineth/zkcA port of the Corset tool into GoGo★ 112026年7月21日Apache-2.02026年7月21日 · 指标 1.13.0
—77良好健康指数zcoinofficial/zcoinThe privacy-focused cryptocurrencyC++ · C · Python★ 7912026年7月19日MIT2026年7月19日 · 指标 1.13.0