(one of the maintainers of Antidote) There is a lot of research still going on in the back, including indexing, access control, verification tools for apps, an

(one of the maintainers of Antidote) There is a lot of research still going on in the back, including indexing, access control, verification tools for apps, and some other really cool stuff. Efficient support for queries is non-trivial, indeed.