Researchers from MIT and Israel's universities have come up with a new version of 'zero-knowledge proofs' allowing cloud customers to verify the proper execution of their software with a single packet of data.
The same system also protects the data used by applications running in the cloud, cryptographically ensuring that the user won't learn anything other than the immediate results of the requested computation.
However, the system only works with programs written in the C programming language and requires that computer programs be represented as circuits and the system's circuit generator automatically converts C code to circuit diagrams.
Researcher and co-author of the paper from MIT, Alessandro Chiesa said that because the new system protects both the integrity of programs running in the cloud and the data they use, it's a good complement to the cryptographic technique known as homomorphic encryption, which protects the data transmitted by the users of cloud applications.
Chiesa explained that he and his colleagues' approach depends on a variation of 'probabilistically checkable proof' or PCP.
Madars Virza, co-author of the research said that they use a cryptographic encoding to force the adversary to only linear evaluations and there is a way to encode numbers into such a form that one can add those numbers, but can't do anything else and that is how they sidestep the inefficiencies of the PCP theorem.
--ANI (Posted on 12-09-2013)