Bangkok'ta, kanıtlama sistemlerinin kaputunun altına ciddi bir şekilde bakacağımızı duyurduk. Amacımız, tüm güven varsayımlarını ortaya çıkarmak, bu kanıtlama sistemlerini şeffaf hale getirmek ve - en önemlisi - tüm kullanıcılara kanıtlanan programların kaynak koduna kolay erişim sağlamaktır. Yeni ZK Kataloğu aylarca süren bir çalışmanın sonucudur ve bu sadece bir başlangıçtır