Интересно видеть, что @zksync использовал систему на основе актеров в своем процессе доказательства до интеграции с @fermah_xyz Вся коммуникация происходила между актерами с передачей асинхронных сообщений, и это было довольно сложно. После их интеграции с @fermah_xyz все было заменено на один вызов метода. Вы можете найти все детали в этом блоге.