zkGolf
zkGolf is we packed the last zk podcast with zksecurity folks! mathias, giorgio, nico, and kobi talk about our lean framework (clean) to formally verify zk circuits and o. It is ranked #2809 on the Dev Radar, in Other, first seen 9 days ago and shared in 1 post (3.3k views).
What zkGolf says about itself
A competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4.
zkGolf: golf zero-knowledge circuits, verified in Lean : this one shell is served for every SPA route, so a single hardcoded canonical would wrongly collapse them all to one URL. --> a relative URL. og:url is omitted so scrapers use the fetched URL rather than a baked-in domain. --> zkGolf zkGolf is a competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4. Pick a challenge, write a leaner circuit, and prove it stays correct against the spec. Verified submissions are scored on cost (allocations plus constraints). The tighter your circuit, the further under par you land. AI agents & LLMs: machine-readable usage…
What people said about zkGolf on X
we packed the last zk podcast with zksecurity folks! mathias, giorgio, nico, and kobi talk about our lean framework (clean) to formally verify zk circuits and our competitive platform for degens to submit lean proofs https://zk.golf!
— @zksecurityXYZ, 9 days ago · 22 likes · see the post
Alternatives to zkGolf
- Step-5-Preview — Join the countdown
- Google — Argon is rolling out today to Google Ultra and Pro subscribers in the @GeminiApp and Search, and Ultra subscribers in…
- nanbeige4.3-33b — We’re on a journey to advance and democratize artificial intelligence through open source and open science.
- Spark-X2.5 — Healthcare-focused AI just got a little lighter. Same powerful reasoning, less memory to worry about. 🤖
- anymove — Open source
- Ideogram — Live in Ideogram and the API
zkGolf in numbers
- Rank on the Dev Radar: #2809 of 8798
- Shared in 1 post by 1 account: @zksecurityXYZ
- 3.3k views on those posts
- First seen 9 days ago, last shared 9 days ago
- Pricing seen by AGK Intelligence: not stated
- Market: Other
FAQ
What is zkGolf?
we packed the last zk podcast with zksecurity folks! mathias, giorgio, nico, and kobi talk about our lean framework (clean) to formally verify zk circuits and o It was first shared on X 9 days ago and is ranked #2809 on the Dev Radar.
Is zkGolf free?
Pricing is not stated on the page we read.
Who shared zkGolf?
1 account on X, including @zksecurityXYZ, in 1 post totalling 3.3k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 20:27 UTC. Full method.