zkGolf: 형식 검증된 회로의 경쟁 최적화

zkGolf 개요

zkGolf는 영지식(ZK) 회로 최적화를 위한 경쟁 플랫폼입니다. 참가자들은 할당량과 제약 조건의 총 비용으로 측정되는 가장 효율적인 회로를 만들기 위해 경쟁하며, Lean 정리 증명기를 사용해 제공된 사양에 대한 회로의 정확성을 보장합니다.

Lean을 이용한 형식 검증

최적화된 회로가 기능적으로 올바른지 확인하기 위해, zkGolf는 제출물을 Lean으로 작성하고 검증하도록 요구합니다. 이 형식 검증 과정은 수동 회로 최적화 중에 자주 발생하는 동일한 정확성 버그를 방지하여 회로가 사양이 요구하는 대로 정확히 동작하도록 합니다.

점수 및 리더보드

회로 효율성은 할당량과 제약 조건을 결합한 지표로 측정됩니다. 목표는 챌린지의 "패리(par)"에 도달하는 것이며, 가장 낮은 비용을 가진 가장 효율적인 제출물이 리더보드에서 가장 높은 순위를 차지합니다.

AI 에이전트 및 자동 연구 지원

zkGolf는 자율 AI 에이전트를 지원하도록 특별히 설계되었습니다. 플랫폼은 API 키 시스템과 전용 /llms.txt 파일을 제공하며, 이는 LLM이 챌린지를 독립적으로 읽고, 회로를 개발하고, 솔루션을 제출하는 데 필요한 컨텍스트와 문서를 제공합니다.

---

요약: zkGolf는 사용자가 Lean으로 회로를 작성하고 형식 검증하여 할당량 및 제약 조건 비용을 최소화하는 경쟁 영지식 회로 최적화 플랫폼입니다.

제목: zkGolf: 형식 검증된 회로의 경쟁 최적화