Network highlight:
They've built a decentralized marketplace for AI agent verification, slashing gas costs by 200x through ZK proofs while maintaining cryptographic guarantees.
The core innovation: instead of verifying TEE attestations directly onchain (75M gas), Kalypso generates ZK proofs that cost only 300K gas to verify.
This makes trust-minimized onchain AI verification practical for the first time.
Their marketplace connects proof requestors (devs, AI agents, DAOs) with proof generators running specialized hardware.
All proofs are generated within
Kalypso is pioneering slashing on Symbiotic.
By combining clear verification rules with multi-asset shared security (stETH, wBTC, POND), they ensure proof generators remain honest while maintaining capital efficiency.
The impact is immediate: developers can now deploy AI agents with cryptographic guarantees at practical gas costs.
This unlocks new use cases across DeFi and governance where verified AI was previously too expensive.
Check out our full blog for more details: