Os dois principais projetos de zeragem, $STRK e $ZK , são provas de conhecimento zero.