Productivity ยท zk.golf
zkGolf: golf zero
zkGolf is a competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4. Pick a challenge.
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.
Listed under Productivity, zkGolf: golf zero is reachable at zk.golf (freemium (free tier + paid plans)). Keep this overview for a quick scan, then verify features and pricing on the vendor site before committing.
About zkGolf: golf zero
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.
Listed under Productivity, zkGolf: golf zero is reachable at zk.golf (freemium (free tier + paid plans)). Keep this overview for a quick scan, then verify features and pricing on the vendor site before committing.
0 comments
Join the discussion about zkGolf: golf zero.