Legal claims defining the scope of protection. Each claim is shown in both the original legal language and a plain English translation.
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.
A method for verifying the correctness of computations performed on a data stream by a third party. The method involves: (1) receiving a data stream at a computer; (2) sending the data stream to a third-party computer for processing; (3) receiving the computation result from the third party; (4) receiving an "annotated" version of the original data stream from the third party, where the annotations are used to check the result; (5) defining a "help cost" (H) based on the annotations; (6) defining a number of bits (V) representing memory capacity; and (7) multiplying the help cost (H) by the number of bits (V) to verify the third party's computation result.
2. The method as defined in claim 1 , further comprising selecting h bits from the annotated version of the data stream.
The method described above for verifying third party computations, further includes selecting a subset of 'h' bits from the received annotated version of the data stream. These 'h' bits represent a portion of the annotations provided by the third party, intended to aid in verifying the computation's result. The original method involves receiving the data stream, outsourcing the stream to a third party for computation, receiving both the result and an annotated data stream, defining a help cost (H) from annotations, defining the number of bits (V) in memory, and multiplying H by V to verify. This claim specifies selecting 'h' bits from the annotations for use in verification.
3. The method as defined in claim 2 , further comprising selecting v bits from the number V of bits in the memory.
The method described above, which involves verifying third-party computations by receiving a data stream, outsourcing to a third party, receiving the result and an annotated data stream, defining a help cost (H), defining memory bits (V), multiplying H by V, and selecting 'h' bits from the annotations, further includes selecting a subset of 'v' bits from the number of bits 'V' in memory. These 'v' bits, selected from the available memory, are intended for use in combination with the 'h' bits from the annotations to facilitate the verification process.
4. The method as defined in claim 3 , further comprising multiplying the h bits by the v bits.
The method for verifying third party computations, which includes: receiving a data stream, outsourcing it, receiving the result and annotated data stream, defining help cost (H) and memory bits (V), multiplying H by V, selecting 'h' bits from the annotation and 'v' bits from the memory, further includes multiplying the selected 'h' bits (from the annotated data stream) by the selected 'v' bits (from memory). This multiplication step combines information derived from the third-party annotations with internal memory data to produce a value used to verify the correctness of the outsourced computation.
5. The method as defined in claim 4 , further comprising performing a hash of h multiplied with v.
The method for verifying third party computations, encompassing data stream receipt and outsourcing, result and annotation retrieval, defining cost (H) and memory (V), multiplying H by V, selecting 'h' bits from the annotation and 'v' bits from memory, multiplying 'h' by 'v', further includes performing a hash function on the product of 'h' bits (from the annotated data stream) and 'v' bits (from memory). The hash function provides a condensed representation of this combined information for efficient and reliable verification of the third-party computation.
6. The method of claim 1 , further comprising failing the result of the data stream.
The method for verifying third party computations, involving receiving/outsourcing a data stream, receiving results/annotations, defining help cost (H) and memory bits (V), and multiplying H by V to verify the result, further includes a step of *failing* the result of the data stream computation. This implies that the verification process can determine the result is incorrect, leading to its rejection. The method would include logic to compare the verification result against a threshold or expected value, and if the comparison fails, the computation result is deemed invalid.
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.
A computer-readable memory stores instructions to verify third-party data stream computations. When executed, the instructions cause the processor to: (1) receive a data stream; (2) outsource the data stream to a third-party computer for computation; (3) receive the computation result; (4) receive an annotated version of the data stream; (5) define a "help cost" H from the annotations; (6) define a number V representing memory bits; and (7) multiply H by V to verify the computation result's correctness. This memory allows a computer system to check results from external computations.
8. The computer-readable memory of claim 7 , wherein the operations further comprise selecting h bits from the annotated version of the data stream.
The computer-readable memory, as described above, that contains instructions for verifying outsourced data stream computations (including receiving a data stream, outsourcing it, receiving results/annotations, defining H and V, and multiplying H by V), further includes instructions for selecting 'h' bits from the received annotated version of the data stream. When executed, this instruction causes the processor to extract a relevant subset of the annotations provided by the third party, enabling a more targeted and efficient verification process of the outsourced computation.
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.
The computer-readable memory described above, containing instructions for verifying outsourced data stream computations (including receiving a data stream, outsourcing, receiving results/annotations, defining H and V, multiplying H by V, and selecting 'h' bits from the annotation), further includes instructions for selecting 'v' bits from the number of bits 'V' in memory. When executed, this instruction causes the processor to extract a subset of memory bits to be used in conjunction with the 'h' annotation bits for verification of the outsourced computation.
10. The computer-readable memory according to claim 7 , wherein the operations further comprise multiplying the h bits by the v bits.
The computer-readable memory described above, containing instructions for verifying outsourced computations (including receiving a data stream, outsourcing, receiving the result and annotated data stream, defining help cost (H) and memory bits (V), selecting 'h' bits from the annotation), further contains instructions that, when executed, cause the processor to multiply the selected 'h' bits (from the annotated data stream) by the selected 'v' bits (from memory). This multiplication operation combines information from the annotations and internal memory to generate a value used for verifying the outsourced computation's integrity.
11. The computer-readable memory according to claim 10 , wherein the operations further comprise performing a hash of h multiplied with v.
The computer-readable memory containing instructions for verifying third party computations (including receiving/outsourcing a data stream, receiving results/annotations, defining H and V, selecting 'h' bits from the annotation, selecting 'v' bits from memory, and multiplying 'h' by 'v'), further includes instructions that, when executed, cause the processor to perform a hash of h multiplied with v. This hashing operation provides a condensed and secure representation of the combined annotation and memory information for verification.
12. The computer-readable memory according to claim 7 , wherein the operations further comprise failing the result of the data stream.
The computer-readable memory containing instructions for verifying third party computations (including receiving/outsourcing a data stream, receiving results/annotations, defining H and V, and multiplying H by V), further includes instructions that, when executed, cause the processor to *fail* the result of the data stream. This signifies that the instructions can determine when the verification process indicates an incorrect result, enabling the system to reject faulty computations from the third party.
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.
A system for verifying data stream computations performed by a third party, comprising: a processor; and memory storing code. The code, when executed, causes the processor to: (1) receive a data stream; (2) outsource the data stream to a third-party computer; (3) receive the computation result; (4) receive an annotated version of the data stream; (5) define a "help cost" H from the annotated data stream; (6) define a number V of bits in memory; and (7) multiply the help cost H by the number V of bits to verify the result.
14. The system according to claim 13 , wherein the operations further comprise selecting h bits from the annotated version of the data stream.
The system for verifying third party computations, as described above (including receiving/outsourcing a data stream, receiving results/annotations, defining H and V, and multiplying H by V), further comprises code that, when executed, causes the processor to select 'h' bits from the received annotated version of the data stream. This allows the system to focus on specific parts of the annotations to improve the efficiency and accuracy of the verification process.
15. The system according to claim 14 , wherein the operations further comprise selecting v bits from the number V of bits in the memory.
The system for verifying third party computations, as described above (including receiving/outsourcing a data stream, receiving results/annotations, defining H and V, multiplying H by V, and selecting 'h' bits from the annotation), further comprises code that, when executed, causes the processor to select 'v' bits from the number of bits 'V' in memory. These 'v' bits are then used, in combination with the 'h' bits from the annotations, to perform the verification of the computation.
16. The system according to claim 15 , wherein the operations further comprise multiplying the h bits by the v bits.
The system for verifying third party computations, as described above (including receiving/outsourcing a data stream, receiving results/annotations, defining H and V, selecting 'h' bits from the annotation and 'v' bits from memory), further comprises code that, when executed, causes the processor to multiply the selected 'h' bits (from the annotated data stream) by the selected 'v' bits (from memory). This multiplication operation creates a combined value reflecting both the third-party annotations and the local memory state, which is used to verify the outsourced computation's result.
17. The system according to claim 16 , wherein the operations further comprise performing a hash of h multiplied with v.
The system for verifying third party computations, described above (including receiving/outsourcing a data stream, receiving results/annotations, defining H and V, selecting 'h' bits from the annotation, selecting 'v' bits from memory, and multiplying 'h' by 'v'), further comprises code that, when executed, causes the processor to perform a hash of h multiplied with v. This hashing operation provides a condensed and secure representation of the combined annotation and memory information for verification.
18. The system according to claim 13 , wherein the operations further comprise failing the result of the data stream.
The system for verifying third party computations, as described above (including receiving/outsourcing a data stream, receiving results/annotations, defining H and V, and multiplying H by V), further comprises code that, when executed, causes the processor to *fail* the result of the data stream computation. This indicates that the system has the capability to detect and reject incorrect results received from the third-party service based on the verification process.
Unknown
August 5, 2014
Browse 5M+ US patents with plain-English claim translations and AI-generated analysis.