4 ms·
Sure, that was already mentioned on another comment, but that's not enough for proper branching. You also need while loops. See also comment https://news.ycombi
by giomasce 6y ago
Sure, that was already mentioned on another comment, but that's not enough for proper branching. You also need while loops. See also comment https://news.ycombinator.com/item?id=24018284 https://news.ycombinator.com/item?id=24018284.
- heavenlyblue 6y agoIf you constrain your computer to always take the same amount of time to execute any while loop (which a homomorphic computer needs to do not to leak any data), your computer would also have unbounded circuitry complexity and thus it’s not any better. Also unbounded loops can’t practically finish even on a Turing machine :)
- giomasce 6y agoThat's my point: not any Turing machine can be implemented with FHE, because FHE must have bounded execution time.
- heavenlyblue 6y agoYou can either say “a Turing machine can not be implemented” or “it can” but never “not any Turing machine” because there isn’t any types of a Turing machine - just a single one.