Salut! Voici les nouveautées que j'ai inseré dans le rapport qui a donc encore un peu grossi:
J'ai expliqué le lien entre les gaussiennes discrètes et le paramètre alpha utilisé par
Shai Halevi et qu'on utilie nous aussi. J'ai pour cela ajouté une référence et une proposition, concernant
une borne moche mais utilie d'une valeur moche;
J'ai ajouté une remarque sur le Keygen, concernant la contrainte qu'on a ajouté qui pouvait
possiblement poser des problèmes de sécurité;
J'ai rapidement expliqué/démontré ce que font les variables G et P de l'algo cla_sum;
J'ai enlevé le fichier notation, pour parler rapidement de la norme sur ZZq dans les notions préliminaires;
J'ai fini la sous-section où on explique l'idée du cryptosystème;
J'ai fini d'écrire les définitions de base sur les FHE. Cela est fait à la va-vite, mais c'est un choix que j'assume: tous les détails sont disponibles dans l'article de Shai Halevi que je n'ai pas non plus envie de complètement copier;
J'ai changé la sous-section qui parle de sécurité circulaire, pour la rendre cohérente avec les définitions que j'ai ajouté;
De fait, je crois qu'on a un rapport à peu près cohérent, dans le sens où chaque partie semble avoir sa place (par exemple, la partie sur les gaussienne semblée HS tant qu'on avait pas expliqué le lien entre elle et le paramètre alpha, vu qu'on utilise ensuite seulement le paramètre alpha).
Il reste à relire pour les fautes d'orthographe. Je dois aussi relire une ou deux démonstrations, dont une tirée de l'article de Regev que j'ai recopiée (c'est évidemment précisé dans l'article) sans assez la comprendre encore.
Salut! Voici les nouveautées que j'ai inseré dans le rapport qui a donc encore un peu grossi:
De fait, je crois qu'on a un rapport à peu près cohérent, dans le sens où chaque partie semble avoir sa place (par exemple, la partie sur les gaussienne semblée HS tant qu'on avait pas expliqué le lien entre elle et le paramètre alpha, vu qu'on utilise ensuite seulement le paramètre alpha).
Il reste à relire pour les fautes d'orthographe. Je dois aussi relire une ou deux démonstrations, dont une tirée de l'article de Regev que j'ai recopiée (c'est évidemment précisé dans l'article) sans assez la comprendre encore.