zkGolf: golf zero-knowledge circuits, verified in Lean

Author Profile

Claim This Author Profile

Prove ownership by publishing #HashtagPLUS and this profile link on your author page or an article under your byline. A moderator or admin will review the request before it merges into your real HashtagPLUS username.

0 karma0 postsjoined 3 months ago

🌐 zk.golfSource

<h1>zkGolf</h1> <p> 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. Verified submissions ar

#zk #zkgolf #photo #article #englishlanguage

3 months ago

Menu

zkGolf: golf zero-knowledge circuits, verified in Lean