# 3MI Labs

> 3MI Labs is a cryptography research consultancy — a team of PhD cryptographers who design,
> analyze, and prove the cryptographic and protocol foundations that crypto, ZK, and
> infrastructure teams build on. Positioning: "the cryptographers that other crypto teams hire."

3MI Labs brings academic rigor to applied cryptography, zero-knowledge proofs, distributed
systems, and formal verification. The team has published at venues including CRYPTO, ACM CCS,
and ASIACRYPT, and embeds directly into client teams from the design stage through implementation
and proof.

## Pages
- [Home](https://www.3milabs.tech/): overview and positioning
- [Team](https://www.3milabs.tech/team/): the researchers, their credentials, links (DBLP, Scholar, LinkedIn), and selected publications
- [Research](https://www.3milabs.tech/research/): selected publications grouped by area — zero-knowledge, MPC, FHE, symmetric-key, lightweight cryptography, algebraic hash functions
- [Services](https://www.3milabs.tech/services/): what 3MI Labs does for clients
- [Ventures](https://www.3milabs.tech/ventures/): companies incubated at 3MI Labs (e.g. 4Mica)
- [Contact](https://www.3milabs.tech/contact/): info@3milabs.tech

## Services
- **Cryptographic Design Review** — review a protocol and its security proofs against known attacks and our own analysis.
- **Cryptography Research** — design and prove new primitives and constructions when a standard scheme won't meet the requirements.
- **Protocol Research** — targeted research on proof systems, secure computation, and cryptographic primitives.
- **Protocol & Systems Design** — research and architecture for distributed systems and cryptographic protocols, designed for correctness.
- **Formal Verification** — machine-checked proofs that a system behaves exactly as specified.
- **Game Theory** — mechanism design and incentive analysis for protocol security.

## Contact
- Email: info@3milabs.tech
- X/Twitter: https://twitter.com/3miLabs
- LinkedIn: https://www.linkedin.com/company/3mi-labs/