> Identity, authn and authn are hard. It would be great if you or somebody else could complete the idea of hardness with a comparison. Am I wrong if I say that

> Identity, authn and authn are hard. It would be great if you or somebody else could complete the idea of hardness with a comparison. Am I wrong if I say that this kind of auth systems require formal methods to check them? I don't think that a 10-month timeline is linked to the hard problem.