Succinct Spooky Free Compilers Are Not Black Box Sound
It is tempting to think that if we encrypt a sequence of messages \(\{x_i\}\) using a semantically secure encryption scheme, such that each \(x_i\) is encrypted with its own independently generated public key \( \mathsf {pk}_i\), then even if the scheme is malleable (or homomorphic) then malleability is limited to acting on each \(x_i\) independently. However, it is known that this is not the case, and in fact even non-local malleability might be possible. This phenomenon is known as spooky interactions.