Show HN: zkGolf – Competitive optimization of formally verified circuits

(zk.golf)

34 points by rot2567 hours ago

2 comments

  • baby7 hours ago
    I'm racing to be the first submission, amazing project :)
  • IshKebab1 hour ago
    Neat, but I feel like you need to define "circuit" on that page! I thought this was like for silicon design or something.
    • AtHeartEngineer28 minutes ago
      Circuit is the standard term used for zero knowledge "programs"