Explore the evolution of zero-knowledge proof models in this invited talk from Eurocrypt 2021. Delve into the applications driving their development, emerging interaction models, achievable constructions, and areas for future research. Examine topics such as common reference strings, witness efficiency, blockchain applications, ZK rollups, multiparty computation, and distributed proofs. Gain insights into current constraints, user considerations, and open problems in the field of zero-knowledge proofs.