circuit-optimization

zkGolf is an open competition to produce optimized, formally verified zero-knowledge circuits, using LLMs to generate and improve implementations beyond human-optimized standards.