Propriété universelleEn mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d'un problème universel posé par un foncteur. De très nombreux objets classiques des mathématiques, comme la notion de produit cartésien, de groupe quotient, ou de compactifié, peuvent être définis comme des solutions de problèmes universels.
Preuve à divulgation nulle de connaissanceUne preuve à divulgation nulle de connaissance est une brique de base utilisée en cryptologie dans le cadre de l'authentification et de l'identification. Cette expression désigne un protocole sécurisé dans lequel une entité, nommée « fournisseur de preuve », prouve mathématiquement à une autre entité, le « vérificateur », qu'une proposition est vraie sans toutefois révéler d'autres informations que la véracité de la proposition. En pratique, ces schémas se présentent souvent sous la forme de protocoles de type « défi/réponse » (challenge-response).
Essentiellement uniqueEn mathématiques, le terme essentiellement unique est utilisé pour indiquer que, bien qu'un objet ne soit pas le seul qui satisfait certaines propriétés, tous ces objets sont « les mêmes » dans un certain sens approprié aux circonstances. Cette notion d'identité est souvent formalisée à l'aide d'une relation d'équivalence. Une notion liée est une propriété universelle, où un objet n'est pas seulement essentiellement unique, mais unique à un unique isomorphisme près (ce qui signifie qu'il a un groupe d'automorphismes trivial).
