3MI Labs is a research institute and consulting company working in cryptography, AI, distributed systems, and formal verification. Its team of researchers works directly with client teams from design through implementation, providing new cryptographic constructions, distributed-systems and protocol architecture, security reviews, proof-system research, formal verification, and incentive analysis. Its work covers zero-knowledge proofs, multi-party computation, fully homomorphic encryption, symmetric-key cryptography, lightweight cryptography, and algebraic hash functions.
