I read about how the Apollo project was able to find participants for academic verification of database sharding and atomic swaps. Is it possible to know the names of the participants of this stage?