L'onestà del server può essere controllata dai peer remoti senza che i peer abbiano il controllo esclusivo (o alcuno) del server?

Posso pensare a diversi metodi, non necessariamente indipendenti:

• Crittografia completamente omomorfica , la capacità di calcolare in modo sicuro su altre macchine senza rivelare i dati, e possibilmente senza rivelare il programma stesso.
  • HElib , un progetto FOSS di IBM
  • Scarab un progetto FOSS, anche se poco pratico / lento, è un buona dimostrazione
• Valutazione delle funzioni sicure , vedi Collegamenti esterni sezione di articolo su calcolo multi-party sicuro per possibili implementazioni
  • Valutazione delle funzioni sicure ; incidentalmente hcrypt ha anche un progetto SFE, ma ci sono

• SNARK / s, (Succint Non-interactive Argument of Knowledge), la capacità di trasformare un programma in una dimostrazione e ottenere una sintassi che il programma ha funzionato. Qui l'input non è fornito da te, necessariamente, ma la svolta è che l'input può essere fornito dal computer che esegue il programma e non rivelare quell'input a te. Questo è un po 'diverso, ma per questa applicazione, questo dettaglio non ha importanza. Il programma può essere verificato che è stato eseguito completamente.

  SCIP (Succinente Computational Integrity and Privacy) è un sforzo per rendere questo pratico. Hanno progettato un'architettura virtuale chiamata TinyRam , per creare e verificando il programma / trace / proof, e stanno lavorando ad un C-compiler per l'architettura (vedi SNARKs per C: Verifica delle esecuzioni del programma Succintamente e in Zero Knowledge (versione estesa) (PDF) ).

Vedi anche:

• Talk di YouTube:
  • Integrità computazionale universale e conveniente - Conferenza Bitcoin 2013 di Eli Ben-Sasson
  • Eli Ben-Sasson - Integrità computazionale universale e conveniente, o, succintamente, da C a PCP
• Risposta a Utilizzo di un sistema di prova del lavoro per scoraggiare la pirateria o incoraggiare le donazioni : ( 1 , 2 )

Un avversario altamente qualificato potrebbe spoofare le risposte a qualsiasi probe remoto, quindi l'host compromesso ha risposto esattamente come un host onesto. Anche se una tecnica come la memoria di sondaggio sarebbe difficile da spoofing e sarebbe sicuramente in grado di rilevare virus standard - è solo un attacco mirato che ti mancherebbe.

Se il tuo server è in esecuzione come VM, potresti ottenere l'hypervisor per sondare la sua memoria. Una macchina compromessa non può comprometterlo, sebbene possa offuscare il malware a un livello elevato, quindi è difficile da rilevare. E c'è il rischio potenziale che l'ospite ospiti attacchi contro l'hypervisor.