Games & Play1 month ago
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
13 projects
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256