BFV-PY

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

Resources

• Introduction to the BFV FHE Scheme
• Revisiting Homomorphic Encryption Schemes for Finite Fields.
• Somewhat Practical Fully Homomorphic Encryption
• An Improved RNS Variant of the BFV Homomorphic Encryption Scheme
• Jay's explanation

Test

python3 -m unittest discover tests

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 1152921504606584833 -t 65537 --output input.json