We hebben aangekondigd dat we diep in de bewijs systemen zullen duiken en dit is slechts de eerste stap. Zeggen "we gebruiken ZK" betekent niets tenzij men onafhankelijk verificatiesleutels kan regenereren en kan bevestigen welk programma daadwerkelijk wordt bewezen.