cysic es un proyecto de aceleración de hardware zk dedicado al diseño de chips asic avanzados para reducir el tiempo necesario para generar pruebas zk para sistemas basados en zk.