#27 | TACEO: Collaborate to Prove
Description
With Lukas Helminger, CEO and Co-founder & Lukas Gotz, Product lead and Co-founder at Taceo
In this episode, we spoke with Lukas Helminger and Lukas Götz from Taceo about their novel architecture combining MPC and ZK. Main topics we discussed:
- What co-SNARKs are, and how they enable proof delegation and private shared state
- Why combining MPC and ZK unlocks confidential compute with verifiability
- Taceo’s modular stack with Circom, Noir, and support for Groth16, Plonk, and UltraHonk
- The upcoming co-SNARK network and infrastructure plans, including a marketplace for compute
- Use cases like ZKML, dark pools, privacy-preserving stablecoins, and private DeFi
- Performance optimizations and the importance of witness generation
- How Taceo remains rooted in academia while pushing bleeding-edge research like MPC lookups and collaborative STARKs
- Perspectives on TEEs and how they complement the co-SNARK model for added trust guarantees
Links
Taceo's Website: https://taceo.io/
coSnarks Docs: https://docs.taceo.io/docs/overview/
Taceo's Twitter/X: https://x.com/TACEO_IO
YouTube: https://www.youtube.com/@ingo_zk
GitHub: https://github.com/ingonyama-zk
LinkedIn: https://www.linkedin.com/company/ingonyama
Join us: https://www.ingonyama.com/career























