1) We present the first truly private, single-server zkSNARK delegation scheme for well-known group-based zkSNARKs such as Groth16, Plonk, and Nova. Our core idea is to delegate the prover’s most expensive computation—namely, the MSM—to a single server.

It would be good to see some network simulation tests in your implementation on GH, to demonstrate communication complexity, latency and bandwidth sensitivity. The existing benchmarks seem to be entirely in-memory, which obscures these metrics. The cost of serializing the protocol to the wire + the time each communication round takes can undermine the feasibility of protocols like this.

@thefrozenfire We had the network bandwidth in our protocol considered, but right we ignored costs such as serialisation, thanks for the suggestion!