Efficient Multi-Party Private Function Evaluation for Depth-optimized Circuits
Master Thesis
Motivation
When a loanee aims to borrow money from a loaner, the loaner needs to check the credit worthiness of the loanee. Privacy-preserving credit checking [1] is a prominent application for the cryptographic primitive Private Function Evaluation (PFE), which allows two parties to securely evaluate the loaner’s private function on the loanee’ secret inputs without revealing anything but the output. Today, however, it is important to additionally include the General Credit Protection Agency into the computation as they are able to estimate the credit worthiness of the loanee more precisely. Unfortunately, state-of-the-art PFE frameworks [2,3] are designed for only n=2 parties. Mohassel and Sadeghian [4] propose a multi-party PFE protocol for n>2 parties. However, this protocol is only applicable to Boolean circuits, but efficient privacy-preserving credit checking becomes more efficient via arithmetic circuits.
Goal
The goal of this thesis is to implement an interactive credit checking application between the loaner, the loanee, and the General Credit Protection Agency. For this, it is necessary to design, implement, and evaluate a multi-party PFE protocol that can evaluate Boolean and arithmetic circuits. The resulting protocol shall be additionally benchmarked with multiple Boolean and arithmetic circuits, and compared to state-of-the-art PFE frameworks [2,3].
Requirements
- Good programming skills in C++
- At least basic knowledge of cryptography
- High motivation + ability to work independently
- Knowledge of the English language, Git, and LaTeX
References
- [1] K.B. Frikken, M.J. Atallah, C.Zhang: (opens in new tab). In EC, 2005. Privacy-preserving Credit Checking
- [2] M.Y. Alhassan, D. Günther, Á. Kiss, T. Schneider: (opens in new tab). In JoC, 2020. Efficient and Scalable Universal Circuits
- [3] M. Holz, Á. Kiss, D. Rathee, T. Schneider: (opens in new tab). In ESORICS, 2020. Linear-Complexity Private Function Evaluation is practical
- [4] P. Mohassel, S.S. Sadeghian: (opens in new tab). In EUROCRYPT, 2013. How to Hide Circuits in MPC an Efficient Framework for Private Function Evaluation