July 2, 2026
Par for the nerd course
Show HN: ZkGolf
Coders turn math into a bragging-rights sport, and one fan is already sprinting to win
TLDR: zkGolf turns hard-core proof and logic work into a game where people compete to make the leanest possible solution. The first community reaction is all hype and speed, with one commenter already racing for first place — a sign this could become a bragging-rights showdown.
A new hacker contest called zkGolf has arrived with big "beat my score" energy: build the smallest, cheapest proof-checking setup you can, then prove it really works. In plain English, it’s like extreme couponing for computer logic — shave off every bit of waste, and you climb the leaderboard. The project turns a very serious corner of math and software into a game of inches, ego, and glorious nerdy one-upmanship.
And honestly? The comments are already treating it like race day. The loudest reaction so far is pure competitive adrenaline. One early fan, baby, basically kicked open the door yelling that they’re racing to be first, giving the whole launch a chaotic speedrun vibe. That one line says everything about the mood: this isn’t being received like a dry academic tool, it’s being received like a challenge, a flex, and maybe the start of a tiny internet rivalry.
There isn’t full-blown flame war drama yet, but there is that delicious early tension every competition needs: who gets bragging rights, who posts first, and who lands furthest "under par" in this golf-themed battle of efficiency? The joke is built right into the product — golf, but for people who optimize logic instead of swings. The community mood is less "let’s calmly evaluate this" and more "shotgun start, meet me on the leaderboard".
Key Points
- •zkGolf is a competition to build the cheapest zero-knowledge circuits.
- •Participants choose a challenge, write a leaner circuit, and prove it remains correct against the specification.
- •Correctness proofs must be done in Lean 4.
- •Verified submissions are scored by cost, measured as allocations plus constraints.
- •The project provides machine-readable usage and API documentation at `/llms.txt` for AI agents and LLMs.