În Bangkok, am anunțat că vom analiza serios sistemele de testare. Scopul nostru este de a expune toate ipotezele de încredere, de a face aceste sisteme de verificare transparente și, cel mai important, de a oferi tuturor utilizatorilor acces ușor la codul sursă al programelor dovedite. Noul catalog ZK este rezultatul a luni de muncă, iar acesta este doar începutul