Verification Of Data Stream Computations Using Third-Party-Supplied Annotations

1. A method for verifying third party annotation of data stream processing, the method comprising: receiving a data stream at a computer; outsourcing the data stream to a third party computer to perform a computation by a third party; receiving a result of the computation from the third party computer; receiving an annotated version of the data stream from the third party computer; defining a help cost H from the annotated version of the data stream; defining a number V of bits in memory; and multiplying the help cost H by the number V of bits to verify the result of the data stream.

2. The method as defined in claim 1 , further comprising selecting h bits from the annotated version of the data stream.

3. The method as defined in claim 2 , further comprising selecting v bits from the number V of bits in the memory.

4. The method as defined in claim 3 , further comprising multiplying the h bits by the v bits.

5. The method as defined in claim 4 , further comprising performing a hash of h multiplied with v.

6. The method of claim 1 , further comprising failing the result of the data stream.

7. A computer-readable memory storing instructions that when executed by a processor cause the processor to perform operations, the operations comprising: receiving a data stream; outsourcing the data stream to a third party computer to perform a computation by a third party; receiving a result of the computation from the third party computer; receiving an annotated version of the data stream from the third party computer; defining a help cost H from the annotated version of the data stream; defining a number V of bits in memory; and multiplying the help cost H by the number V of bits to verify the result of the data stream.

8. The computer-readable memory of claim 7 , wherein the operations further comprise selecting h bits from the annotated version of the data stream.

9. The computer-readable memory of claim 8 , wherein the operations further comprise selecting v bits from the number V of bits in the memory.

10. The computer-readable memory according to claim 7 , wherein the operations further comprise multiplying the h bits by the v bits.

11. The computer-readable memory according to claim 10 , wherein the operations further comprise performing a hash of h multiplied with v.

12. The computer-readable memory according to claim 7 , wherein the operations further comprise failing the result of the data stream.

13. A system, comprising: a processor; and memory storing code that when executed causes the processor to perform operations, the operations comprising: receiving a data stream; outsourcing the data stream to a third party computer to perform a computation by a third party; receiving a result of the computation from the third party computer; receiving an annotated version of the data stream from the third party computer; defining a help cost H from the annotated version of the data stream; defining a number V of bits in memory; and multiplying the help cost H by the number V of bits to verify the result of the data stream.

14. The system according to claim 13 , wherein the operations further comprise selecting h bits from the annotated version of the data stream.

15. The system according to claim 14 , wherein the operations further comprise selecting v bits from the number V of bits in the memory.

16. The system according to claim 15 , wherein the operations further comprise multiplying the h bits by the v bits.

17. The system according to claim 16 , wherein the operations further comprise performing a hash of h multiplied with v.

18. The system according to claim 13 , wherein the operations further comprise failing the result of the data stream.