Exploring the Composition of Coding Theory and Cryptography through Secure Computation, Succinct Arguments, and Local Codes