Em Bangkok, anunciámos que iremos analisar seriamente os sistemas de prova. O nosso objetivo é expor todas as suposições de confiança, tornar estes sistemas de prova transparentes e - o mais importante - dar a todos os utilizadores fácil acesso ao código-fonte dos programas que estão a ser provados. O novo Catálogo ZK é o resultado de meses de trabalho, e isto é apenas o começo.