zkGolf: golf zero-knowledge circuits, verified in Lean

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

★ 0.00 reviews

Project website

Browse the screenshot and details, or choose “View live website” to try the site in the frame.

Details

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

Discoverer: Awesome Vibe-Coded Apps

No reviews yet