Tolérance aux erreurs dans les réseaux pair à pair de calcul

Nous nous plaçons dans le cadre des systèmes pair à pair définis comme étant un ensemble de noeuds travaillant de manière collaborative pour accomplir une tâche de calcul. Si n'importe quelle machine peut participer au calcul, apparait alors le problème de la fiabilité et de la cohérence du calcul.
Ce problème présente deux aspects: le premier est la vérification du résultat d'un calcul, le deuxième concerne les mesures à prendre pour  isoler les machines donnant de mauvais résultats, qu'ils soient volontaires (triche, sabotage) ou  involontaires (bug). Les solutions actuelles [1] reposent sur  l'existence d'un mécanisme centralisé fournissant un calcul aux machines, vérifiant les résultats et isolant (blacklist) les mauvais participants. 
Nous voulons dans ce travail étudier des algorithmes et protocoles ne nécessitant pas un mécanisme centralisé.