Privacy-preserving Linear Computations in Spiking Neural P Systems
This addresses privacy concerns in secure computation for applications in cryptography and AI, though it is incremental as it builds on existing SN P system models.
The paper tackles the problem of computing linear functions using Spiking Neural P systems while preserving privacy, enabling a client to evaluate functions like t_1k + t_2 on a remote server without revealing inputs or the result.
Spiking Neural P systems are a class of membrane computing models inspired directly by biological neurons. Besides the theoretical progress made in this new computational model, there are also numerous applications of P systems in fields like formal verification, artificial intelligence, or cryptography. Motivated by all the use cases of SN P systems, in this paper, we present a new privacy-preserving protocol that enables a client to compute a linear function using an SN P system hosted on a remote server. Our protocol allows the client to use the server to evaluate functions of the form t_1k + t_2 without revealing t_1, t_2 or k and without the server knowing the result. We also present an SN P system to implement any linear function over natural numbers and some security considerations of our protocol in the honest-but-curious security model.