Verifiable computing using computation fingerprint within fully homomorphic encryption (fhe)

Abstract

A system for verifying the execution of requested computation tasks, delegated by a computerized delegator device, to one or more computerized devices executing the tasks, comprising one or more computerized devices that contain one or more processors being adapted to define an input data for each delegated computation task; add to the input data, one or more computation fingerprints being executable encrypted input control bits, capable of detecting deviation from each requested computation task; allow the delegator to calculate the computation fingerprints once, by executing the requested computation tasks on predetermined random base values, to obtain an a-priori fingerprint result; couple the base values to each requested computation task; allow the one or more computerized devices to execute each requested computation task along with the base values, for returning an output consisting of a combination of a computed task result section and a calculated fingerprint result section; verify the returned output by comparing the a-priori fingerprint result to the calculated fingerprint and accepting the returned output if and only if the returned fingerprint result was identical to the a-priori fingerprint result; and use the a-priori fingerprint result or new verified result to verify further requested computation tasks delegated to the same one or more computerized devices.