Mais bon, il me semble que tout ça peut être compris par quelque qu'un ayant quelques bases en mathématiques, ça ne va pas représenter qu'une dizaine de personnes dans le monde. C'est ça qui importe pour ce qui nous occupe, non ?
Je ne sais pas quel niveau ça représente, il est possible que les méthodes nécessaires soient assez complexe.
Et il y a aussi le problème de la faille informatique. (qui peut être dur a détecter)
De mon point de vue, la chose importante, c’est que ces méthodes existent, et ne soient pas excessivement difficile à trouver, parce que je ne crois pas qu’il faille baser la sécurité du système sur le fait que tout le monde puisse voir le code. (ça n’a jamais assuré une sécurité suffisante, il suffit de voir le nombre de failles de sécurités importantes dans les programmes open-sources).
Pour moi la sécurité vient du fait que chacun puissent mettre en place les programmes de recherches qu’ils veulent, et les exécuter dans leur coin.
Et c’est la vérification des solutions trouvées, qui elle est plutôt simple, qui va assurer la fiabilité. (mais encore une fois la sécurité ne vient pas du fait que les gens puissent voir le code, mais du fait que chacun puissent exécuter son propre programme de vérification de son coté).
De plus, je pense qu’il est faisable de prouver au moins un de ces programmes de vérification, pour ajouter encore à la sécurité du système.
Bien sûr ,que le code soit open-source est un atout pour la sécurité, mais ça n’est pas suffisant, et de mon point de vue ça n’est pas l’atout principal.