Show HN: zkGolf, competitive optimization of formally verified circuits.

 (zk.golf)

27 points | by rot256 4 hours ago

1 comments

  • baby 3 hours ago
    I'm racing to be the first submission, amazing project :)