Show HN: zkGolf, competitive optimization of formally verified circuits.(zk.golf)
22 pointsby rot2562 hours ago1 comment
  • baby2 hours ago
    I'm racing to be the first submission, amazing project :)