Memory Delegation

We consider the problem of delegating computation, where the delegator doesn’t even know the input to the function being delegated, and runs in time significantly smaller than the input length. For example, consider the setting of memory delegation, where a delegator wishes to delegate her entire memory to the cloud. The delegator may want the cloud to compute functions on this memory, and prove that the functions were computed correctly. As another example, consider the setting of streaming delegation, where a stream of data goes by, and a delegator, who cannot store this data, delegates this task to the cloud. Later the delegator may ask the cloud to compute statistics on this streaming data, and prove the correctness of the computation. We note that in both settings the delegator must keep a (short) certificate of the data being delegated, in order to later verify the correctness of the computations. Moreover, in the streaming setting, this certificate should be computed in a ...

• Type: Journal
• Year: 2011
• Where: CRYPTO
• Authors: Kai-Min Chung, Yael Tauman Kalai, Feng-Hao Liu, Ran Raz
• Keywords: CRYPTO 2011, Cryptology, Delegator, Random Oracle Model, Uniform Circuit