NHacker Next
  • new
  • past
  • show
  • ask
  • show
  • jobs
  • submit
▲Show HN: zkGolf, competitive optimization of formally verified circuits. (zk.golf)
23 points by rot256 2 hours ago | 1 comment
baby 2 hours ago [-]
I'm racing to be the first submission, amazing project :)
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
Rendered at 17:52:48 GMT+0000 (Coordinated Universal Time) with Vercel.