Ogłosiliśmy, że zagłębimy się w systemy dowodzenia i to jest dopiero pierwszy krok. Mówienie "używamy ZK" nic nie znaczy, chyba że można niezależnie regenerować klucze weryfikacyjne i potwierdzić, jaki program jest faktycznie dowodzony.