A (very) short introduction to Eigenlayer