BFV-PY

Python implementation of the BFV scheme of FHE. Only for educational purposes.

Resources

• Revisiting Homomorphic Encryption Schemes for Finite Fields.
• Somewhat Practical Fully Homomorphic Encryption
• Jay's explanation

Test

$ python3 -m unittest discover -p '*_test.py'

Generate inputs for circuit

The following CLI interface is provided to generate a json file that will be used as input file for a circuit. This will be used in zk-fhe for testing purposes.

The script will run through the following steps:

1. Secret key generation
2. Public key generation
3. Encryption of a random message to generate the ciphertext
4. Decryption of the ciphertext to generate the plaintext
5. Assertion of the equality between the plaintext and the original message
6. Generation of the json file

$ python3 cli.py --help
$ python3 cli.py -n 1024 -q 536870909 -t 257 --output input.json