Mokhtar Bacha joined ConsenSys at age 17, where he developed expertise in cryptography, consensus algorithms, and distributed systems. He founded Formal in 2022 to provide data security services.
Intro paths
YC
Mokhtar went through Y Combinator (Summer 2020) — any YC alum in your network can reach them through the YC community.
→
In turn, Mokhtar can intro founders to Formal's investors below.