cual es la pregunta? una definición oficial de como funciona javascript? xmlproxy.js es un fichero con extensión  javascript y ya esta, como muchos otros que hay en infinidad de herramientas web. Si no eres más especifico en tus preguntas, difícilmente encontrarás respuestas que sirvan para algo.

En su momento, Microsoft introdujo a su Internet Explorer 5 la capacidad de hacer peticiones asincronas en paginas web (lo que hoy se conoce como AJAX).

En la verison 5, y luego en la 6, el navegador de Microsoft usaba su propia implementacion del objecto XMLHttpRequest, por medio de un control ActiveX.

Por otro lado la W3 definia un standard de este objeto, con una implementacion comun para todos los navegadores. Entonces, por ejemplo IE6 usaba su propia implementacion por medio de controles ActiveX, mientras que firefox 3 usaba el standard de la W3. Esto era un dolor de cabeza....

Pero luego con IE7 la implementaicion era integrada. Y estas diferencias de IE con el resto se acabo.

El archivo 'xmlproxy.js' funcionaba a modo de 'pasarela', para re-escribir la peticiones de la implementacionde microsoft a la standard. Por lo que hoy es practicamente obsoleto...

http://es.wikipedia.org/wiki/XMLHttpRequest