קדיט

מטרת הפרויקט היא פיתוח טכנולוגיית הוכחה באפס ידיעה, שתשמור על שלמותן ופעילותן של תוכנות מחשב ● מדובר באחד מ-12 מחקרים שמבצעת הסוכנות האמריקנית ● קדיט קיבלה לצורך כך תקציב של שני מיליון דולר