A formal description and exploration of the Sum-Space Conjecture, which generalizes classical addition with arbitrary carry functions, with implications for cryptography.