Question: crs download link

Moving this question from discord:

hey. I’m wondering if theres anything different between these two. only the right one (old link) seems to be working for me :melting_face:

this was modified in this pr

Are you able to use the link using curl? What is the failure you are getting?

i wasn’t able to use it for halo2 parameters. if i use the new link, verification wouldn’t work. shouldn’t be a big problem. i’m just curious whats the difference between these two and whether the old link is deprecated or something. If its not deprecated it should be fine

Can you link the repo you are working out of?

here GitHub - Ethan-000/halo2_backend