Anunciámos que iríamos aprofundar-nos nos sistemas de prova e este é apenas o primeiro passo. Dizer "estamos a usar ZK" não significa nada a menos que se possa regenerar independentemente as chaves de verificação e confirmar qual programa está realmente a ser provado.