Em Bangkok, anunciamos que vamos dar uma olhada séria sob o capô dos sistemas de prova. Nosso objetivo é expor todas as suposições de confiança, tornar esses sistemas de prova transparentes e, o mais importante, dar a todos os usuários acesso fácil ao código-fonte dos programas que estão sendo comprovados. O novo Catálogo ZK é o resultado de meses de trabalho, e isso é apenas o começo