The Langlands program is not a static set of conjectures but a dynamic field of research.
Zero-knowledge proofs are a way to prove that you know something without revealing what it is.