News for hackers. Stuff that matters.

A comment on TFHE: Fast Fully Homomorphic Encryption over the Torus. Parent comment

Re:TFHE: Fast Fully Homomorphic Encryption over the Torus by artemonster on Monday April 13, 2020 @10:16AM (#22856016)
Please correct me if I am wrong: you can simulate a function built out of binary gates with encrypted data, but you cannot simulate a state machine over encrypted inputs? Since the webpage says "arbitrary circuit", so it can have loops, so it can be stateful, right? Is this somehow fundamental restriction or just not solved yet?
[ Parent | on HN ]
Re:TFHE: Fast Fully Homomorphic Encryption over the Torus by lonelappde on Monday April 13, 2020 @10:25AM (#22856097)
Are loops general control flow? Can they do branching?

I don't think so, but not sure.

[ Parent | on HN ]
Re:TFHE: Fast Fully Homomorphic Encryption over the Torus by artemonster on Monday April 13, 2020 @11:13AM (#22856521)
loops as in "feedback in a circuit", not code loops. Feedback is necessary to create stateful circuits, state is necessary for "control flow"
[ Parent | on HN ]
Re:TFHE: Fast Fully Homomorphic Encryption over the Torus by nindanaoto on Monday April 13, 2020 @01:23PM (#22857822)
Yes, it can be stateful. We built processor
[ Parent | on HN ]