Los dos principales proyectos de reducción a cero, $STRK y $ZK , son pruebas de conocimiento cero.