Function read_instances 

pub fn read_instances(path: impl AsRef<Path>) -> Result<Vec<Vec<Fr>>, Error>