The system incorporates [[ZKP/ZKP Base Layer/ZKP Blockchain/Technical Build Application Layer/Privacy-Preserving Computations with ZK Wrappers/Circuit Definition for Diverse AI Tasks/Example of PoI Task Circuit for Matrix Multiplication|zk-SNARKs]] and [[ZKP/ZKP Base Layer/Core Concepts/zk-STARKs/zk-STARKs|zk-STARKs]] to enable [[ZKP/ZKP Base Layer/ZKP Blockchain/Technical Build Application Layer/Privacy-Preserving Computations with ZK Wrappers/Privacy-Preserving Computations with ZK Wrappers|privacy-preserving verification]] of AI computations, expanding the application of zero-knowledge proofs beyond transaction privacy. [[ZKP/Data Marketplace/Technical Basis/Cryptographic Foundations/Lifecycle of zk-SNARKs|ZK-SNARKs provide compact proofs]] (~288 bytes) with rapid verification times (~2ms) for on-chain validation of AI tasks through both EVM pre-compiled contracts and native verification pallets, making them ideal for Substrate's weight-based execution environment where efficiency is critical. Complementing this, zk-STARKs deliver transparent, quantum-resistant proofs for off-chain computations processed through Substrate's off-chain workers, enhancing long-term security [[ZKP/ZKP Base Layer/ZKP Blockchain/Cryptographic Assumptions and Implementation Risks/Trusted Setups for zk-SNARKs|without requiring trusted setup ceremonies.]] This dual approach ensures both immediate performance and future-proof security within Substrate's modular framework. See also: [[ZKP/ZKP Base Layer/ZKP Blockchain/Competitiveness/Architecture|Architecture]]