Abstração genérica para certificar chaves TCF em famílias criptográficas permite compilar provas de quanticidade em protocolos de conhecimento zero, preservando propriedades de segurança para fatoração, DDH e LWE.

#CriptografiaQuântica #ConhecimentoZero #Pesquisa