Zero-Knowledge Proofs. Multi-Party Computation. Fully Homomorphic Encryption. Trusted Execution Environments. Post-Quantum. We're the experts protocols trust when security can't fail.
Comprehensive security for advanced cryptographic systems
Find vulnerabilities in ZK circuits, cryptographic protocols, and security-critical code before attackers do.
View reportsProduction-grade cryptographic implementations, from proof systems to protocol libraries.
Explore projectsCutting-edge work in zero-knowledge proofs, multi-party computation, and fully homomorphic encryption. We publish findings and build tools for the community.
Read researchAI agents that exhaustively hunt for vulnerabilities in your cryptography code — and keep getting smarter. Powered by zkao.
Meet zkaoAI agents that exhaustively research your cryptography code for vulnerabilities and keep getting smarter. Connect once, and our agents may find new bugs months from now as they improve. It's like having a tireless security researcher working on your codebase all year.
Security assessments for advanced cryptographic systems
Repositories, prototypes, and production-grade tooling
Formally verified zkEVM in Lean 4, built for Ethereum Foundation with a focus on auditability.
Open-source tools and educational content from our team
Reproducible ZK vulnerabilities
What goes wrong when you implement MPC
Interactive guide to the PLONK proving system.
Fundamental building block for modern ZK systems.
Become a Halo2 hero — a hands-on ZK course.
Comprehensive guide to STARK proving systems.