Consider the following (NP-complete) problem:

Given a system of polynomials $f_1, f_2, \ldots, f_m \in \mathbb{F}_q[x_1, x_2, \ldots, x_n]$ of total degree at most $d$, **find** an $\mathbb{F}_q$-rational point (ie., a common solution in $\mathbb{F}_q$).

[[Kayal, 2007]](https://eccc.weizmann.ac.il/resources/pdf/kayal.pdf) (cf. page 80) showed that for a fixed $n$, there is a  deterministic algorithm with complexity $\mathsf{poly}(d, m, \log q)$ for the existential question (solvability). He also showed that there is an efficient approximation algorithm for counting the number of solutions.

I was unable to find any recent work in this direction, and was wondering if more has been discovered since 2007. In particular, I am interested in knowing whether there has been any progress with regards to the search problem (deterministic or randomized), perhaps even for the simpler case of $n = 2$.