ESignSante est une API REST de signature et de vérification de signature développée par l'Agence du Numérique en Santé. Elle permet de signer des documents aux formats XMLDSig, XADES et PADES BASELINE B, avec des signatures enveloppantes ou enveloppées. La vérification de signatures s'appuie sur les règles et procédures définies par l'ETSI. L'API offre également la possibilité de générer une preuve de vérification de signature signée en XADES BASELINE B enveloppée.

CoqInE est un plugin pour le logiciel Coq qui traduit les preuves Coq en termes Dedukti vérifiables. Il fournit un fichier de signature fidèlement encodant la théorie sous-jacente de Coq. La sortie générée est destinée à être vérifiable à l'aide de la dernière version de Dedukti.

Ce projet permet de générer des clés cryptographiques à l'aide de l'algorithme BLS12-381, de vérifier des signatures et de calculer des preuves à divulgation nulle de connaissance. Il est basé sur le dépôt de code source kitaake.