circuit-optimization

zkGolf 是一个开放竞赛，旨在生成经过优化的、正式验证的零知识电路，利用大型语言模型（LLMs）来生成和改进实现，超越人类优化的标准。