El computacional parásito es la técnica de programación donde un programa en interacciones autorizadas normal con otro programa maneja conseguir el otro programa para realizar cómputos de una naturaleza compleja. Es, en cierto modo, una hazaña de la seguridad en que el programa que ejecuta la computación parásita no tiene ninguna autoridad para consumir los recursos puestos a disposición el otro programa.

El ejemplo dado por el papel original era dos computadoras que comunicaban sobre el Internet, bajo disfraz de una sesión de comunicaciones estándar. La primera computadora está intentando solucionar un problema grande y extremadamente difícil 3-SAT ; ha descompuesto el problema original 3-SAT en un considerable número de problemas más pequeños. Cada uno de estos problemas más pequeños entonces se codifica como relación entre una suma de comprobación y un paquete tales que si la suma de comprobación es exacta o no es también la respuesta a ese problema más pequeño. El paquete/la suma de comprobación entonces se envía a otra computadora. Esta computadora, como parte de recibir el paquete y de decidir a si es válido y el bien formado, crea una suma de comprobación del paquete y ve si es idéntica a la suma de comprobación proporcionada. Si la suma de comprobación es inválida, entonces pedirá un nuevo paquete de la computadora original. La computadora original ahora sabe la respuesta a ese problema más pequeño basado en respuesta la segunda de la computadora, y puede transmitir un paquete fresco que incorpora un diverso subproblema. Eventual, todos los subproblemas serán contestados y la respuesta final será calculada fácilmente.

Tan en el extremo, la computadora de blanco es inconsciente que ha realizado el cómputo en.beneficio de la otra computadora, o aún hecho cualquier cosa además de tener una sesión normal del TCP/IP .

El prueba-de-concepto es obviamente extremadamente ineficaz pues la cantidad de cómputo necesaria enviar simplemente los paquetes en el primer lugar excede fácilmente los cómputos lixiviados del otro programa; y el problema 3-SAT sería solucionado mucho más rápidamente si acaba de ser analizado localmente. Además, los paquetes tendrían que en la práctica probablemente ser retransmitidos de vez en cuando cuando ocurren los errores de la suma de comprobación y los problemas verdaderos de la red. Sin embargo, la computación parásita en el nivel de sumas de comprobación es una demostración del concepto. Los autores sugieren que como uno levante el apilado del uso, allí pudieron venir un punto donde hay un aumento de cómputo neto al parásito - quizás uno podría analizar problemas interesantes en preguntas de los protocolos criptográficos complejo usar las llaves públicas . Si siempre había un aumento neto, uno podría en uso de la teoría un número de nodos del control para los cuales muchos anfitriones en la forma del Internet una red de la computación distribuida totalmente desprevenido.

Ver también

.