Avizovali jsme, že půjdeme hluboko do prokazování systémů a toto je jen první krok. Říci "používáme ZK" neznamená nic, pokud nelze nezávisle znovu vygenerovat ověřovací klíče a potvrdit, jaký program se skutečně dokazuje