its interesting to see that @zksync used an Actor based system in their proving workflow before integrating with @fermah_xyz All the communication was between the actors with async messages being passed along, and it was kind of complicated. After their integration with @fermah_xyz it was all replaced by a single method call. You can find all the details in this blog post