Zero-knowledge proofs (ZKPs) let someone prove a statement is true without revealing the underlying data. This opens possibilities such as private identity checks, verifiable cloud computations, and regulatory compliance without exposing sensitive information. Sublinear arguments make these proofs far more efficient, enabling them to run on large-scale systems, from blockchains to mobile devices. My research develops lightweight protocols, such as Ligero, and follows up with sublinear arguments, as well as distributed and post–quantum–oriented approaches. The goal is to bring theoretical proofs into practice, making them both provably secure and concretely efficient.