These models are often used for non-interactive zero-knowledge proofs (NIZK).
In the context of zero-knowledge proofs, these models play a crucial role in facilitating secure and verifiable interactions without direct computation or interaction.