Show HN: zkGolf – Competitive optimization of formally verified circuits

 (zk.golf)

38 points | by rot256 9 hours ago

2 comments

  • baby 8 hours ago
    I'm racing to be the first submission, amazing project :)
  • IshKebab 2 hours ago
    Neat, but I feel like you need to define "circuit" on that page! I thought this was like for silicon design or something.
    [-]
    • AtHeartEngineer 1 hour ago
      Circuit is the standard term used for zero knowledge "programs"