PDSAT is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to SAT. Currently in the project problems of inversion of some cryptographic functions used in keystream generators are being solved. All cryptographic algorithms under investigation are publicly available. Corresponding tasks are randomly generated and do not contain any confidential information. We also plan to publish obtained results. In the nearest future we are going to launch an experiment for solving Quadratic Assignment problem (hard optimization problem) within the project.
PDSAT est un projet de recherche qui utilise des ordinateurs connectés à Internet pour résoudre des problèmes difficiles et "pratiquement important" (problèmes d'inversion de fonctions discrètes, optimisation discrète, la bioinformatique, etc) qui peuvent être effectivement réduits à des
problèmes SAT. Actuellement des "problèmes" dans le projet de d'inversion de certaines fonctions cryptographiques utilisées dans les "générateurs de chiffrement" sont résolus. Tous les algorithmes de cryptographie à l'étude sont disponibles publiquement. Les tâches correspondantes sont générés aléatoirement et ne contiennent aucune information confidentielle. Nous prévoyons également de publier les résultats obtenus. Dans le proche avenir, nous allons lancer une expérimentation pour résoudre le
problème d'affectation quadratique (problème d'optimisation difficile) au sein du projet.
Donc oui, encore de la cryptographie, mais pour décrypter, on dirait bien, non ?