Hello - I am new to Celo and learning about the SNARKs under the hood, in particular the BLS12-377 and BW6-761 chain of curves that makes it feasible to prove recursive statements.
Do I understand correctly that a set-up was conducted to produce powers of tau for the BW6-761 curve? If so, where can I find these parameters and verify them independently?
Many thanks