Socks, a matching game based on an additive combinatorics problem

Encoding Schemes in FHE