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

Show HN: zkGolf – Competitive optimization of formally verified circuits