Method and system for providing efficient quantum proof encryption using boolean gates with reduced bootstrapping

A system to perform operations on encrypted ciphertext using Fully Homomorphic Encryption (FHE) based on a determined modulo and an assignment of false to a first value and true to a second value, the system comprising:

• a first configuration of programmable cores providing encryption to create a plurality of ciphertexts and assigning the first or second value to each of the plurality of ciphertexts based on the determined modulo;
• a second configuration of programmable cores converting a Boolean expression including the plurality of ciphertexts into a mathematical function and assigning a first outcome value to the result of the mathematical function for a first result of the Boolean expression where the ciphertexts are a first combination of true or false, and assigning a second outcome value to each of a plurality of second results of the mathematical function for the Boolean expression where the ciphertexts are combinations of being true or false;
• and
• a third configuration of programmable cores performing a programmable bootstrapping to reduce noise level in the ciphertext for a specified first and second results of the mathematical function.

A non-transitory computer readable medium having stored thereon software instructions that, when executed by a processor, cause the processor to:

• determine a modulo for a plurality of ciphertexts;
• assign false to a first value and true to a second value;
• map each of a plurality of ciphertexts to the first value or the second value;
• convert a Boolean expression including the plurality of ciphertexts into a mathematical function;
• assign a first outcome value to the result of the mathematical function for a first result of the Boolean expression where the ciphertexts are a first combination of true or false, and assign a second outcome value to each of a plurality of results of the mathematical function for a set of results of the Boolean expression where the ciphertexts are combinations of being true or false;
• and
• bootstrap the reduced first and second outcome values of the mathematical function converted from the Boolean expression.