Di Bangkok, kami mengumumkan bahwa kami akan melihat dengan serius di bawah tenda sistem pembuktian. Tujuan kami adalah untuk mengekspos semua asumsi kepercayaan, membuat sistem pembuktian ini transparan, dan - yang paling penting - memberi semua pengguna akses mudah ke kode sumber program yang sedang dibuktikan. Katalog ZK baru adalah hasil dari kerja berbulan-bulan, dan ini baru permulaan