À Bangkok, nous avons annoncé que nous allons examiner sérieusement les systèmes de preuve. Notre objectif est d'exposer toutes les hypothèses de confiance, de rendre ces systèmes de preuve transparents et - surtout - de donner à tous les utilisateurs un accès facile au code source des programmes prouvés. Le nouveau Catalogue ZK est le résultat de mois de travail, et ce n'est que le début.