There's a paper by Michael Shub, [On the intractability of Hilbert's Nullstellensatz and an algebraic version of $``{\rm NP}\ne{\rm P}?''$][1].

  [1]: https://doi.org/10.1142/9789812792839_0023