I’ve recently read a blog post about Mina’s improved zk-SNARK called Pickles. They claim that Pickles has eliminated a trusted setup requirement. Can someone who understands the difference between them verify their claim? Are STARK based rollups still better or did this iteration of SNARK change it?