The idea is that after this issue is resolved, the full flow with HyperNova can be done with Prover's getting the serialized trusted setup parameters, and the Verifier getting the serialized proofs, inputs, and parameters, like they were from different instances/machines.
Similarly as the ones that exist in Nova: sonobe/folding-schemes/src/nova/serialize.rs, together with the ones done at https://github.com/privacy-scaling-explorations/sonobe/pull/151 . Depends on https://github.com/privacy-scaling-explorations/sonobe/pull/156
The idea is that after this issue is resolved, the full flow with HyperNova can be done with Prover's getting the serialized trusted setup parameters, and the Verifier getting the serialized proofs, inputs, and parameters, like they were from different instances/machines.