Mokhtar Bacha

Mokhtar Bacha is the Founder of Formal, an enterprise cybersecurity and data protection startup. He began his career in the blockchain sector at age 17 when he became the youngest employee hired at ConsenSys, recruited directly by Ethereum co-founder Joseph Lubin. During his time at the blockchain technology firm, Bacha developed specialized technical expertise in advanced cryptography, consensus algorithms, and distributed systems architecture. He subsequently transitioned into the broader data security sector, launching Formal in 2022 to build infrastructure that secures sensitive corporate information. Since its inception, the company has scaled its operations to provide cryptographic security solutions for prominent technology platforms, securing enterprise contracts with customers including Notion, Ramp, and Gusto. Bacha's current professional focus centers on expanding Formal's market presence while continuing to engineer advanced cybersecurity protocols that protect distributed enterprise data systems.