zkGolf: golf zero-knowledge circuits, verified in Lean

Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.