ended7월 3일· 1 sources
Show HN: ZkGolf
Why it matters
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 submiss...
1
Sources
+0
24h
—
Growth
80d
Active