Cysic, which offers a Layer 1 network for zero-knowledge proof generation and verification, will join Succinct as a multi-node prover.