zkGolf - Competitive optimization of formally verified circuits

Show HN: zkGolf – Competitive optimization of formally verified circuits

▲ 69rot25612 HN 토론
zkGolf - Competitive optimization of formally verified circuits

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

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

HN 토론

12
  1. IshKebab

    재미있네요. 하지만 그 페이지에서 '회로(circuit)'를 정의해 두어야 할 것 같아요. 저는 실리콘 설계 같은 걸로 생각했거든요.

  2. baby

    가장 먼저 제출하는 데 경쟁하고 있어요. 멋진 프로젝트네요 :)

  3. pvillano

    인간이 필수가 아닌 형식 검증 프로그래밍 경기가 펼쳐질 시대를 기대합니다.

    어떤 최적화 및 검증 문제들이 좋은 LLM 피드백 루프를 만들 수 있을지 궁금하네요.

    쿼리 플래너 관련 문제가 있을지도 모릅니다.

이 날의 다른 글

2026-07-07