On: Something I don’t understand about homomorphic enc...

[archgoon]

Don't think in terms of assembly instructions, think in terms of logic gates.

A nand gate can be represented as a polynomial (over a binary ring) as

result = (x+y)*(1-xy) = x+y-xy