Joseandro Luiz

TODO: provide list of features

proof-systems is now pointing to berkeley

2

Updates on top of https://github.com/MinaProtocol/mina/pull/15603

The proof-systems submodule is now pointing to develop

2

Updates on top of https://github.com/MinaProtocol/mina/pull/15603

- [ ] Fold each instruction in testing. - [ ] It will also show if there are some instructions that are not implemented correctly. It implies writing quickly testing...

After upgrading arkworks to the latest version, we found out it introduces a performance regression (e.g. proving Mina's snark work is ~2x slower, stats [here](https://github.com/o1-labs/proof-systems/pull/1670#issuecomment-1876221140)). Arkworks v0.4.0 is a dependency...