je zajímavé vidět, že @zksync ve svém pracovním postupu dokazování používali systém založený na Actoru před integrací s @fermah_xyz Veškerá komunikace probíhala mezi herci s asynchronními zprávami, které se předávaly, a bylo to trochu komplikované. Po jejich integraci s @fermah_xyz bylo vše nahrazeno jediným voláním metody. Všechny podrobnosti najdete v tomto příspěvku na blogu