En astrofísica, una estrella gravitacional de vacío o gravastar