We use abstract mathematics to build concrete applications.
Applied Mathematics & Cryptography Lab.
Book a callWe review cryptographic protocols, zero-knowledge circuits, and security-critical code to find vulnerabilities before they become exploits.
We explore cryptography, zero-knowledge proofs, and applied mathematics. We publish our findings and build tools for the community.
We build production-grade cryptographic software, from proof systems to protocol libraries.
We advise on cryptographic protocols, security architecture, and technical strategy.
Security research and vulnerability intelligence platform.
Protocol development and ecosystem contributions.
Zero-knowledge proof systems and protocol development.
Institutional crypto liquidity provider.
Core development and research for the Tezos ecosystem.
More partners coming soon.
January 23, 2026
Welcome to the BaDaaS blog. We'll be sharing technical articles on cryptography, security, and software development.