In Bangkok hebben we aangekondigd dat we serieus onder de motorkap van de bewijs systemen zullen kijken. Ons doel is om alle vertrouwensassumpties bloot te leggen, deze bewijs systemen transparant te maken en - het belangrijkste - alle gebruikers gemakkelijke toegang te geven tot de broncode van de programma's die bewezen worden. De nieuwe ZK Catalogus is het resultaat van maanden werk, en dit is nog maar het begin.