Circle STARKs are supposed to accelerate the proving process for zero-knowledge rollups, according to a white paper published by Polygon Labs and StarkWare.Source