7/2/2026 at 3:58:45 PM
I'm racing to be the first submission, amazing project :)by baby
7/2/2026 at 3:40:05 PM
Show HN: zkGolf, competitive optimization of formally verified circuits.
https://zk.golf/by rot256
7/2/2026 at 3:40:05 PM
by rot256
7/2/2026 at 3:58:45 PM
I'm racing to be the first submission, amazing project :)by baby