zkGolf — Golf zero-knowledge circuits, verified in Lean · dotstore

Description

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.…

Information

People also visit

Apps people often open alongside zkGolf.

T

Toolbrew

Free Online Tools

UtilitiesLaunch

P

pianos.pub

Search a worldwide community map of public and street pianos

UtilitiesLaunch

U

Undetectag

Make your AirTag more efficient against thieves

UtilitiesLaunch

N

No More Google

Privacy-friendly alternatives to Google that don't track you

UtilitiesLaunch

S

Sesame

An open source password vault for Windows and Linux

UtilitiesLaunch

I

Idea Generator

Exercises to spur creativity

UtilitiesLaunch

zkGolf FAQ

What is zkGolf?

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.

Do I need to download zkGolf?

No. zkGolf runs in your browser at zk.golf, so there's nothing to install.

What are the best zkGolf alternatives?

Popular alternatives to zkGolf include Toolbrew, pianos.pub and Undetectag. See all zkGolf alternatives