This paper is related to WP3.
In this paper, we apply verifiable computing techniques to a biometric matching. The purpose of verifiable computation is to
give the result of a computation along with a proof that the calculations were correctly performed. We adapt a protocol called
sumcheck protocol and present a system that performs verifiable biometric matching in the case of a fast border control. This is a work in progress and we focus on verifying an inner product. We then give some experimental results of its implementation. Verifiable computation here helps to enforce the authentication phase bringing in the process a proof that the biometric verification has been correctly performed.