Question: As I said, I've seen many claims about LISP being as fast as C.
Got any proof?

Many people, including myself, have written numerical CommonLisp code
that runs just as fast as equivalent C code. It is rather tedious to
divine the necessary declarations for any particular implementation of
CommonLisp, and the optimal declarations differ from implementation to
implementation, but it is certainly possible to do so.