zkVerify Partners with Phala Network to Bring Verifiable TEE Attestations On-Chain to Boost Efficiency

We’re excited to announce our partnership with Phala Network to enable seamless, cost-efficient verification of TEE (Trusted Execution Environment) attestation proofs. This integration delivers 20%+ savings and dramatically improves the path for bringing TEE-backed computation onchain.

Phala Network is a decentralized computing infrastructure powering confidential AI inference and verifiable computation. By running large language models (LLMs) within TEEs, Phala delivers private, secure, and auditable compute, which is essential for Web3 applications that require data confidentiality and execution integrity. Phala’s developer stack makes it easy to deploy Docker apps into TEE environments, co-process data with smart contracts, and prove computations on-chain. This enables everything from DePIN to decentralized AI.

What’s the Challenge?

TEE-backed computation is a powerful building block for privacy-preserving applications, but verifying TEE attestations onchain is often slow, expensive, and circuit-heavy, especially when developers must wrap proofs in legacy formats like Groth16.

Today, many Phala and zkTEE app developers go through a four-step verification flow:

1. Generate a TEE attestation with Phala.
2. Wrap it into a ZK proof (e.g., via SP1 or RISC Zero).
3. Convert to Groth16 for Ethereum compatibility.
4. Verify the Groth16 proof onchain — incurring high gas fees and delays.

This process limits scalability and user adoption.

What’s Improving with zkVerify?

Through this integration, zkVerify directly verifies SP1 and R0 proofs, skipping the Groth16 conversion step entirely. By removing the need to wrap TEE attestation proofs into legacy formats like Groth16, zkVerify makes verifiability cheaper, faster, and universally portable.

Key benefits:

• Faster proof flows with less time spent converting and wrapping proofs
• Over 20% cost savings in proof generation
• Over 90% lower gas fees compared to verification on Ethereum
• Plug-and-play support for TEE-backed computation across ecosystems

Example Results

And when users avoid Ethereum's expensive onchain verification altogether? Gas fees drop by over 90%, all without compromising verifiability or UX.

Build Smart with TEE + ZK!

TEE + ZK is the frontier of secure, privacy-preserving compute. With zkVerify as the universal verifier, Phala developers now have a modular, cost-optimized path to bring their TEE-backed AI and privacy apps onchain, while maintaining auditability and trust across chains.

It's the missing puzzle piece to scale confidential, verifiable compute in production.

See It In Action

Following the step-by-step tutorial and start verifying TT attestations with zkVerify:

➔ Github: https://bit.ly/zkVxPhalaGitHub

➔ Using zkVerify to Verify TEE Attestation Proofs on Phala: