Solving the hardest problems in cryptography and computer science.
3MI Labs is a research institute working at the frontiers of cryptography, AI, distributed systems, and formal verification. Our team brings academic rigor to industry problems.
The researchers
A team of PhDs with 4500+ citations and 32+ peer-reviewed papers at venues including CRYPTO, ACM CCS, and ASIACRYPT.
Symmetric-key cryptanalysis and the design of arithmetization-oriented hash functions at the heart of modern ZK proof systems.
Zero-knowledge proofs and secure multi-party computation, from VOLE-in-the-Head to isogeny-based post-quantum cryptography.
Provable security, lightweight cryptography, and algebraic hash functions; from theory to real-world deployment.
Privacy-preserving computation across ZK, MPC, and FHE, from formal design to efficient implementation.
Symmetric-key cryptanalysis and adapting protocol designs for secure, high-performance implementations.
Mathematical foundations of Arithmetization-Oriented (AO) ciphers.
What we do
We embed directly into your project and work as an extension of your team. Partnerships start in the design phase and last as long as the problem requires.
Our services
Cryptography Research
We design and prove new cryptographic primitives and constructions when an existing scheme doesn't meet your security or performance requirements.
Protocol & Systems Design
Research and architecture for distributed systems and cryptographic protocols.
Cryptographic Design Review
We review your protocol and its security proofs against known attacks and our own analysis, showing you where the assumptions break.
Protocol Research
Targeted research on proof systems, secure computation, and cryptographic primitives: for problems where the existing literature stops.
Formal Verification
Machine-checked proofs that your system behaves exactly as specified.
Game Theory
Mechanism design and incentive analysis to ensure your protocol stays secure when participants act in their own interest.
Trusted by companies on the cutting-edge
-
Collaborating with 3MI Labs has been an exceptional experience. Tomer and his team operate with the utmost professionalism and bring a rare, deep expertise to solving complex cryptography problems in decentralized systems. Their rigorous approach and clear guidance were invaluable to our outcomes. I highly recommend 3MI Labs to any team navigating advanced cryptographic challenges.
