Can you say more about the homomorphic encryption bit? It's fascinating to hear about it being used in practice and making it out of research.

I didn't dive into the technical details of how pairing works, and in fact leared everything I know about it from TFA, which went into quite some detail.