Verifiable Computing Trusted Execution Environments (TEEs) Zero Knowledge Proof (ZKP) (ZKPs) Frameworks and Languages Welcome to the Marlin docs! Noir Lang | Noir Documentation