VERIDAP

This tool supports the delegation of processing authenticated data in a way that the result can be efficiently verified for correctness. It comprises three different components, being a data originator component, a data processing component, and a verification component. The data originator component provides the input data (and potentially some additional metadata). The data processing component is given a set of input data and a description of the processing rules, and outputs the result of the computation, as well as a proof certifying the correctness of the delegated computation. The verification component takes a result and a proof (and potentially additional information) and can efficiently verify the correctness of the computation.

(Note: PRISMACLOUD is part of TRUSTEE (daTa pRivacy and cloUd SecuriTy clustEr Europe), a network of 11 research projects funded by the European Union which are all performing cutting-edge research and innovation in different domains of cloud security and privacy, ranging from secure and privacy-friendly authentication over encrypted and distributed solutions for data sharing and cloud storage to data integrity, authenticity, and availability.)