Secure multiparty computation (MPC) is a methodology that allows several parties to process private data collaboratively without revealing the data to any party. Logic Programming (LP) is a simple, yet powerful formalism suitable for programming and knowledge representation. A typical logic program is represented as a set of facts and rules that derive new facts from the existing ones. Such programs can be used for implementing artificial intelligence based on logical reasoning. To non-programmers, LP languages often look simpler than other well-known programming and script languages.
In this project, we have developed a logic programming language PrivaLog for writing privacy-preserving applications. We have taken the Sharemind platform as the underlying secure multiparty computation platform. We have come up with a translator from a PrivaLog program to a privacy-preserving application that can be executed directly on Sharemind.
The project was funded by the Estonian Research Council.