¿La honestidad del servidor puede ser auditada por pares remotos sin que dichos compañeros tengan control (o ningún control) exclusivo del servidor?

Puedo pensar en varios métodos, no necesariamente independientes:

• Encriptación totalmente homomórfica , la capacidad de realizar un cálculo seguro en Otras máquinas sin revelar los datos, y posiblemente sin revelar el programa en sí.
  • HElib , un proyecto FOSS de IBM
  • Scarab un proyecto FOSS, aunque no es práctico / lento, es un buena demostración
• Evaluación de función segura , consulte Enlaces externos sección del artículo en cómputo multipartito seguro para posibles implementaciones
  • Evaluación segura de funciones ; Por cierto, hcrypt también tiene un proyecto SFE, pero hay

• SNARK / s, (Argumento de conocimiento no interactivo de Succint), la capacidad de convertir un programa en una prueba, y obtener un resumen del programa que se ejecutó. Aquí la entrada no es proporcionada por usted, necesariamente, pero el giro es, la entrada puede ser proporcionada por la computadora que ejecuta el programa y no le revela esa entrada. Esto es un poco diferente, pero para esta aplicación, este detalle no importa. Se puede verificar que el programa se ejecutó completamente.

  SCIP (Suctinct Computational Integrity and Privacy) es una Esfuerzo para que esto sea práctico. Han diseñado una arquitectura virtual llamada TinyRam , para crear y verificando el programa / rastreo / prueba, y estamos trabajando en un compilador de C para la arquitectura (vea SNARK para C: Verificación de ejecuciones del programa Sucintamente y con conocimiento cero (versión ampliada) (PDF) ).

Ver también:

• conversaciones de YouTube:
  • Integridad computacional universal y asequible - Conferencia de Bitcoin 2013 por Eli Ben-Sasson
  • Eli Ben-Sasson: integridad computacional universal y asequible, o, sucintamente, de C a PCP
• Respuestas a mediante un sistema de prueba de trabajo para desalentar la piratería o alentar las donaciones : ( 1 , 2 )

Un adversario altamente calificado podría falsificar las respuestas a cualquier sonda remota, por lo que el host comprometido respondió exactamente igual que un host honesto. Aunque una técnica como sondear la memoria sería difícil de falsificar y ciertamente detectaría virus estándar, es solo un ataque dirigido experto que perderías.

Si su servidor se está ejecutando como una máquina virtual, puede hacer que el hipervisor pruebe su memoria. Una máquina comprometida no puede falsear esto, aunque puede ofuscar en gran medida el malware, por lo que es difícil de detectar. Y existe el riesgo potencial de que un invitado realice ataques contra el hipervisor.