baby
5 hours ago
I'm racing to be the first submission, amazing project :)
Show HN: zkGolf, competitive optimization of formally verified circuits.
28 pointsposted 6 hours ago
by rot2565 hours ago
I'm racing to be the first submission, amazing project :)