kevinlewi/fhipe

An implementation of Function-Hiding Inner Product Encryption

An Implementation of Function-Hiding Inner Product Encryption (FHIPE)

This is an implementation of the function-hiding inner product encryption scheme described here: (link to be posted)

This implementation is a research prototype built for micro-benchmarking purposes, and is not intended to be used in production-level code as it has not been carefully analyzed for potential security flaws.

Authors:

• Kevin Lewi, Stanford University
• Sam Kim, Stanford University
• Avradip Mandal, Fujitsu Laboratories of America
• Hart Montgomery, Fujitsu Laboratories of America
• Arnab Roy, Fujitsu Laboratories of America
• David J. Wu, Stanford University

Contact Kevin Lewi for questions about the code: [email protected]

Prerequisites

Make sure you have the following installed:

• Python 3.x.x
• GMP 5.x
• PBC
• OpenSSL

Installation

git clone --recursive https://github.com/kevinlewi/fhipe.git
cd fhipe
sudo make install (use `make install-mac` if running on MAC OS X)

Running a Test

python3 tests/test_ipe.py

Modules

This library ships with the following modules:

• Inner Product Encryption: In fhipe/ipe.py, implements function-hiding inner product encryption
• Two-input Functional Encryption. In fhipe/mife.py, implements secret-key small-domain two-input functional encryption for arbitrary functions

Submodules

We rely on the following two submodules:

• FLINT for the C backend
• Charm for the pairings implementation

fhipe's Issues

Maximum length vector that can be encrypted.

I would like to ask you what is the maximum length of vector that can be calculated. I tried to generate encryption parameters for a vector of length 1000, but it took too long. Is it theoretically possible to generate encryption parameters of this order of magnitude, and in practice?

Failed on negatives

Hello !
I use fhipe to calculate the inner products of vectors, and it works pretty well if the product is positive.
but when the expected inner product is negative, it cann't find the correct result.

Could you give me some threads on using it to calculate the nenative product?
Thank you very much!