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

1 comments

• baby 2 hours ago

  I'm racing to be the first submission, amazing project :)