La abstracción genérica para certificar claves TCF en familias criptográficas permite compilar pruebas de cuanticidad en protocolos de conocimiento cero mientras se preservan las propiedades de seguridad para factorización, DDH y LWE.

La abstracción genérica para certificar claves TCF en familias criptográficas permite compilar pruebas de cuanticidad en protocolos de conocimiento cero mientras se preservan las propiedades de seguridad para factorización, DDH y LWE.