Projects Tagged zk-circuit — Zero-Knowledge Circuit Implementations, SNARK/STARK Designs, and Auditable zk Proof Systems
Discover projects tagged zk-circuit — curated zero-knowledge circuit implementations and libraries enabling verifiable computation, SNARK and STARK constructions, and privacy-preserving smart contracts. This projects-by-tags listing (projects nav, tags pillar) surfaces implementation details, circuit compiler optimizations, formal verification status, test vectors, repository links, and benchmarked gas/performance metrics so engineers, auditors, and integrators can evaluate security, scalability, and integration effort. Use the filtering UI to narrow results by proof system, language, protocol, maturity, or license, then explore, contribute to, audit, or integrate these zk-circuit projects to accelerate production deployments.
