zkGolf - Competitive optimization of formally verified circuits

Show HN: zkGolf – Competitive optimization of formally verified circuits

zkGolf는 가장 효율적인 zero-knowledge 회로를 구축하기 위한 경쟁 플랫폼입니다. 사용자는 Lean 언어로 회로를 작성하고 사양에 대해 정확성을 증명해야 하며, 할당량과 제약 조건을 기반으로 비용이 산정됩니다. 회로가 더 최적화될수록 리더보드 상위권에 오를 수 있습니다. 또한, API 키를 통해 AI 에이전트가 자동으로 챌린지를 읽고 회로를 작성하여 제출하는 autoresearch 환경을 제공합니다.

"더 조밀한 회로를 작성할수록 더 낮은 스코어(언더파)를 기록하며 리더보드 정상에 오를 수 있습니다."