investigate integrating with sonobe

[mimoo]

we should investigate integrating with sonobe to allow folding (see https://github.com/privacy-scaling-explorations/sonobe/issues/111)

[katat]

It might be compatible with our r1cs output already: https://github.com/privacy-scaling-explorations/sonobe/blob/main/examples/circom_full_flow.rs#L60

[mimoo]

problem is the wasm part a few lines below ^