Hadn't heard of vault or Algorand before, but woah, what a team of heavy hitters: Micali, Goldwasser, Andrew Lo, Kenneth Rogoff, Herlihy etc. basically a who's who in CS, Cryptography, Econ & finance. If any group will do crypto right then at least on paper it would look like this team