Project detail · Games & Play
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
Past Editor's Pick
Every submission is a golf stroke against your own circuit: fewer allocations, fewer constraints, a lower score under par. Lean holds each shortcut to the spec, so shaving code stays honest, not just clever.
zk.golf
Try live demo Live checked1 week ago
Try this first: Write zero-knowledge circuits to compete for the lowest cost.
CryptoPuzzleDeveloper ToolEducationFormal VerificationGame“zero-knowledge circuits”“verify correctness in Lean”“cheapest zero-knowledge circuits”
Tech Profile
Site health
🛠 1 site-health suggestion await the maker — claim this project (sign in with X) to view.
Source
Show HN
For the maker: hang the plaque, claim the project
This project is unclaimed — sign in, hang the plaque on your site, and it's yours.
For the maker: hang the plaque, claim the project
This project is unclaimed — sign in, hang the plaque on your site, and it's yours.
Keep exploring
Similar projects
Sign in to report a problem with this project.
Comments
Sign in to comment.