@djb And at that point we will have to worry about symmetric crypto too.