Reinventing Symmetric Cryptography for Arithmetization over Large fiElds

Symmetric cryptography is finding new uses because of the emergence of novel and more complex (e.g. distributed) computing environments.These are based on sophisticated zero-knowledge and Multi-Party Computation (MPC) protocols, and they aim to provide strong security guarantees of types that were unthinkable before. In particular, they make it theoretically possible to prove that a computation was done as claimed by those performing it without revealing its inputs or outputs. This would make it possible e.g. for e-governance algorithms to prove that they are run honestly