# Verifiable Computing [[Trusted Execution Environments]] (TEEs) [[Zero Knowledge Proof (ZKP)]] (ZKPs) ## Frameworks and Languages - [Welcome to the Marlin docs!](https://docs.marlin.org/) - [Noir Lang \| Noir Documentation](https://noir-lang.org/docs/)