Thanks for v.1.0 – it was a great improvement.
I’ve been playing around a bit with it. However, in this case, what I view as reasonable a inputset does not appear to generate sufficiently large parameters:
from concrete import fhe
from itertools import product
inputset = [
(1, 7, 1, 7),
(2, 9, 1, 7),
(3, 7, 2, 8),
(2, 8, 2, 8),
(3, 9, 2, 8),
(3, 9, 3, 9),
(2, 9, 3, 9),
(3, 9, 3, 7),
(3, 9, 2, 8),
(3, 9, 3, 9),
(2, 9, 3, 9),
(1, 9, 1, 9),
(1, 9, 3, 7),
(1, 10, 1, 10), # Not really in range, but let's try to expand the parameters a bit
(2, 10, 1, 10),
(3, 10, 2, 9),
]
@fhe.compiler({"start": "encrypted", "end": "encrypted", "pstart": "clear", "pend": "clear"})
def check_two_equalities(start, end, pstart, pend):
'''
Check if both start and end are equal.
Possible start values: 1, 2, 3
Possible end values: 7, 8, 9
'''
correct_start = (start - pstart == 0)
correct_end = (end - pend == 0)
correct = correct_start * correct_end
return correct
configuration = fhe.Configuration(p_error=0.2, loop_parallelize=True, show_graph=True)
circuit = check_two_equalities.compile(inputset, configuration)
start_end_pairs = [(1, 8), (2, 8), (3, 8), (1, 7)]
candidates = [(1, 7), (2, 7), (3, 7), (1, 8), (2, 8), (3, 8), (1, 9), (2, 9), (3, 9)]
for correct, cand in product(start_end_pairs, candidates):
clear_evaluation = check_two_equalities(cand[0], cand[1], correct[0], correct[1])
homomorphic_evaluation = circuit.encrypt_run_decrypt(cand[0], cand[1], correct[0], correct[1])
print(correct, cand, clear_evaluation, homomorphic_evaluation)
When run, it will produce four columns of output. The two first is just the input. The third correctly prints 1 whenever the inputs are equal, but the fourth (which should be identical) does not.
I’ve tried to create sufficient variation inside the inputset to represent most of the cases, and I even went outside the formal domain of the function. (In principle, I shouldn’t have to, right?)
Is this a case of too aggressive parameter generation, or am I doing something silly somewhere? (For the latter, I suspect that me using multiplication as a proxy for AND could be an issue.)
means 
.)
)