résumé des changements que j'ai apporté ce dimanche

[mahaaaham]

D'avance : pardon pour les fautes, je suis pressé (je dois aller à un restaurant).

Tous les tests sont dans test_FHE et dans test_internal_functions. Les tests de fonctions internes fonctionnent. Concernant les tests de test_FHE, tu verras que le test test_main lance test_decrypt_is_inv_encrypt avec des paramètres: il fonctionne !

Fait ce matin (nuit blanche, malade donc impossible de domir.. J'ai donc bossé un peu) : De plus, j'ai crée mp_decrypt dans le cas où on a q = une puissance de 2. Tu verras que dans ce but, j'ai mis certains paramètres en variables globales (à ce propos, jette un oeil au mot clef global : il fait truc global TRUC dans une fonction pour que sage comprenne qu'on parle bien de la variable globale et pas d'une variable locale de même nom..). J'ai adapté les tests en conséquences.

A faire : créer des circuits pour utiliser le test test_on_circuits. Tu pourrais le faire pour te familliariser avec mon code de circuits. Dans simple_circuits, il y a un exemple simple. De plus: note que les tests vont peut-être bugguer pour plein de circuit vu que normalement, on peut déchiffrer bien que les chiffrés de 0 et de 1. Je pense que ça vaut quand même le coup de tester cela, au moins sur la somme, le produit, le produit scal, et quelques circuits un peu plus compliqués que tu peux créer. Tu peux aussi regarde l'issue correspondante pour une brève explication sur les circuits, mais je pense que lire simple_circuits sera plus
interessant.
Ce matin, j'ai vaguement essayé de faire marcher le test des circuits, mais j'ai des problèmes encore.. ça buggue..

Détails plus ou moins importants à noter:

• Pour que ça marche, j'ai dû prendre une distrib de proba B-bornée, où j'ai pris B=5 (choix un peu au pif). J'ai alors posé : `B = Boundproba # Bound_proba est une variable globale, valant 2 distrib = GeneralDiscreteDistribution([1]B + [0](q-B))
  Je pense qu'idéalement, on devra prendre une Gaussienne discrète.
• regarde la façon dont j'ai utilisé "map" pour créer un mat_flatten à partir de flatten, cela me semble plus élégant et c'est gràce à Ocaml que j'ai découvert ça ^^;
• J'ai enlevé des paramètres, en gardant exactement ceux indiqué dans l'algorithme. Cela me permettait de mieux suivre les instructions et me rendait le débuggage plus lisible. Tu pourrais dire qu'ainsi, on perd peut-être en efficacité. Toutefois, on travaille avec sage sur un algo absolument pas optimisé, je ne crois pas que tenté d'aller un peu plus vite en transportant des arguments en plus soit utile, ça le sera sûrement en C;
• J'ai rajouté des messages d'erreur quand je pouvais, afin de m'assurait que tout allait. Notamment, j'ai mis un emssage d'erreur dans public_key_gen qui vérifie une des propriétés que doivent avoir des elements.

Bon courage si tu t'y mets lundi matin! Sinon, je pourrais aider aussi ^^. Là, j'ai trop mal aux yeux (nouvelles lunettes dans quelques jours -_-) !

PS: j'ai mis des messages de commit absolument pourris, désolé, j'y ai pensé trop tard.. Je vais faire plus attention à l'avenir.

[luroux]

J'ai essayé de faire marcher test_main_circuits aussi. C'est un peu mieux, alors voilà où on en est :

• 1) La multiplication et l'addition ne fonctionnent pas avec 2 et 3 comme valeurs, c'est probablement dû à la fonction de décryptage utilisée.
• 2) Les scalars buggent encore car l'algo chiffre même le facteur.
• 3) Le NAND ne marche pas en 1, 1, mais je n'arrives pas à trouver pourquoi.
• 4) Aucun circuit avec plusieurs calculs ne fonctionne actuellement. Les deux premiers peuvent être à cause des valeurs, mais pas le dernier (c'est le seul à utiliser NAND, par contre).

Aussi, j'ai fait pas mal de petites modifs pour en arriver là, donc tu voudra peut-être y jeter un oeil (il ne devrai rien avoir de très compliqué... je crois).

[mahaaaham]

C'est noté! Je vais regarder ça.