DIMS vs. Progressive lenses for myopia

This is a child's prescription for myopia (10 year old and it has been developing quite fast).

We got a quote for DIMS (MiYOSMART) lenses $900 (includes the eyeglasses) – the optometrist has a kid program that will replace the eyeglasses if they get broken or if the prescription increase by two steps.

And got another quote from a different optometrist for $500 (includes the eyeglasses) with progressive lenses, these are made to reduce the myopia advancement, and they are known as Anti-fatigue comfort progressives.

I would like to do the best for my kid, but I am worried by going cheap I am affecting their eyesight and their health.