1. A computer-implemented method of verifying a query result of an untrusted server comprising: outsourcing, by a computing device, a data stream to the untrusted server, the untrusted server configured to respond to a query with the query result; generating, by the computing device, a verification synopsis based on at least a portion of the query result and a seed, the verification synopsis including a polynomial, coefficients of the polynomial being determined based on the seed; outputting, by the computing device, the verification synopsis and the seed to a client for verification of the query result; and locating and correcting errors in the query result, by the computing device, using the verification synopsis.