Nagarjuna's Mūlamadhyamakakārikā (MMK) "Chapter 2 - Critique of Walking" is the same as Zenos paradox that you outlined. If you Google Zeno and Nagarjuna on Motion you will see many articles written by Translators and Philosophers comparing the two.
Both thinkers use the idea to prove that conventional reality is not the ultimate truth, but the ultimate truth they posit is a polar opposite. For Nagarjuna it is Emptiness and for Zeno one unchanging being.
The idea doesn’t end in disproving motion only, check this video to see how Zeno expound the idea to cover wider topic. Nagarjuna also use it to disprove a lot of ideas that we think as truth, he also use the same method to disprove the momentary consciousness posited by the Abhidhammist (i.e Theravada Buddhist).
So, you may ask, is the paradox proven? No it remain a paradox.
In the west there has been many attempt to prove it, but at every age it resurrect itself as unproven. In recent history, the Giants of mathematician gather in Vienna to come up with an all-encompassing mathematical proof, but a man by the name Kurt Gödel dug out Zeno and called the whole project a bluff. Again with the advance of computer some tough computers will be the answer, but Alan Turing showed up and pulled the Zeno card on computers too.
Quoted below is Candrakiri Lucid commentary on MMK.
At this point, someone says, «By negating production, you have
established that interdependent origination has the quality of
not being ceased and so on. Nevertheless, in order to prove
that interdependent origination has neither coming nor going,
you must state an additional argument to refute the action
(kriyā) that is going to and fro (gamanāgamana), which is commonly
accepted in the world.»
In response, we say that if going (gamana), exemplified by the action
of walking, 1 were to exist, then one would necessarily conceive of
walking in relation to the spot on the path where one has just walked;
or one would conceive of it in relation to the spot where one has not
yet walked; or one would conceive of it in relation to the spot where
one is currently walking. But none of this makes sense. So he says:
2.1. First of all, it is not the case that one is now walking where one just walked; one is also not walking where one has not yet walked;
and without the spots where one already walked and where one has not
yet walked, one has no knowledge of a currently walked upon spot; the
currently walked upon spot is thus not being walked upon. Here,
“where one just walked” expresses that part of the path on which the
action of walking has just ceased. That which is now affected
by the action of walking is expressed by, “one is now
walking.” It is incoherent to speak of “where one just walked”—meaning
the place where the action of motion has just ceased—with the phrase
“one is now walking,” which expresses a connection with a presently
existing action of walking. Therefore, it is incorrect to say, “One is
walking where one just walked.” The phrase “first of all” indicates
the order in which the various possibilities are negated.
So too, “one is not now walking where one has not yet walked.” The
phrase “where one has not yet walked” expresses a part of the road
where a future action of motion has not yet occurred. The phrase “one
is now walking” expresses a present action of motion. Therefore, since
the future and the present are completely distinct, it does not make
sense to say, “One is now walking where one has not yet walked.” If
one has not yet walked upon it, how can one be now walking on it? And
if one is walking on it, how can it be a spot where one has not yet
walked?
Furthermore, there is no action of walking on the currently walked
upon spot because “without the spots where one has already walked and
where one has not yet walked, the currently walked upon spot is not
being walked upon or known.”
In this context, the spot that the walker has traversed is for him a
walked upon spot; and the spot that he has not yet traversed is for
him a not yet walked upon spot. But in isolation from the walked upon
spot and the not yet walked upon spot, we do not see any third spot
that would be “the currently walked upon spot.” And since that is
the case, “one has no knowledge of a currently walked upon spot.”
Here, na gamyate (i.e., “is not being walked upon”) is taken to mean
“is not known.” Therefore, since one has no knowledge of it,
there is no currently walked upon spot. Hence, that spot is
not affected by the activity of motion; that is, it is not currently
walked upon. Hence, there is also is no action of walking even in the
currently walked upon spot. But someone might say, «There is a spot
that is tread upon by the feet of the walking walker. That is the
currently walked upon spot!»
This is not the case because the mover’s feet are a conglomeration of
atomic particles. The area behind an atom located on the tip of the
toe is included in the spot already walked upon, relative to that
atom; but the spot in front of an atom located at the back of the heel
is included in the spot not yet walked upon, relative to that atom.
Feet cannot exist without the atomic particles of which feet are
composed. Therefore, there is no currently walked upon spot
without being either a spot already walked upon or one not yet
walked upon. And just as one analyzed the feet, so should one analyze
the atomic particles in terms of the relation between their front and
back parts. Moreover, if someone says that the currently walked upon
spot is the spot that one has halfway walked upon, then one uses the
answer that has been given in the analysis of production. 3 Therefore
it is established, “The currently walked upon spot is not being walked
upon or known.”