SP1 Groth16

[Kirol54]

Is your feature request related to a problem? Please describe.
There is a massive optimization when it comes to proving time on Succint Prover Network if we were to move from Plonk to Groth16 (70sec vs 5sec*).

Describe the solution you'd like
As we have support for SP1 proofs format and the crypto part for groth16 from risc0 example, it (hopefully) shouldn't require much lift.

[0x471]

I understand the performance perspective, but it's important to consider that switching to Groth16 would require relying on Succinct’s trusted setup ceremony: https://docs.succinct.xyz/docs/sp1/security/security-model#options.

What are your thoughts on accepting this trust assumption for Nori?

[Kirol54]

Nori is not planning to switch to SP1 Groth16 for now, most likely for token bridge we won't be using groth16 at all but for general state we're considering some type of option for users/developers to decide on trust assumptions trade-offs depending on data being bridged/communicated between chains. (optimistic consensus finality + Groth16 / finalised + PLONK)

I still believe such a feature would be great to make this codebase and service more versatile and usable for others! We'd love to offer both, it's not a priority for now tho.