trustworthycomputing/helm

HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables

helm's Issues

Benchmarks evaluation

Similarly to Table 1 in Romeo, we'll need to evaluate the following using both LUTs and gates:

• Present
• Simon
• Speck
• DES
• AES
• Chi-squared
• Image filter

Integrate encrypted LUTs into circuit.rs

In Boolean, parse array inputs as numbers

Instead of having to set each bit separately, we can set the whole array to an integer and let HELM figure it out.

no-expr Yosys flag

Add a warning early on if no gates are detected to prevent crashing. (like the other waring we have: "[!] No CSV file pr.....")

Combining LUTs

Combine LUTs that use similar inputs in circuit.rs after #3 is done.

Merge eval_lut_circuit with main

eval_lut_circuit has a lot of duplicate code with the main in helm.rs. We should merge these two and use if/else with the has_luts variable to differentiate between the two cases (e.g., for the keygen, or for the evaluation function). Most of the code is the same (like decrypting) and it doesn't make sense to have that much duplicate code.

Modify Yosys liberty file to add custom gates

nice to have

Read input wires from file

Add a csv file like:

wire_name, value
i0, false
i1, true
....

Parse this file in helm.rs and assign to both ptxt and ctxt input wires. Check if every wire in the input wires map exists in the CSV and throw an error if the CSV is missing a wire so that the user can easily add that.

Topological sort of LUT

Check if LUTs are topologically sorted or use Yosys for it.

GPU support

Look into adding GPUs