[tombert]

I don't know, I think some of the papers for distributed consensus might lead to something cool; if nothing else it does seem to be increasing the use of formal methods, which I think is neat.

These things can take time; it might be thirty years or more before someone does anything actually useful with the stuff learned from the crypto world.