In Bangkok haben wir angekündigt, dass wir einen ernsthaften Blick unter die Haube der Beweissysteme werfen werden. Unser Ziel ist es, alle Vertrauensannahmen offenzulegen, diese Beweissysteme transparent zu machen und - am wichtigsten - allen Nutzern einfachen Zugang zum Quellcode der bewiesenen Programme zu geben. Der neue ZK-Katalog ist das Ergebnis monatelanger Arbeit, und das ist erst der Anfang.