โ All companies
Generate ideas โ



Formal
ActiveTake control of your data in real-time.
Summer 2020Founded 202210 peopleSan Francisco, CA, USA; New York, NY, USA; Remote
โป Pivot / rename signal
This company has previously operated under โShiplโ, โMetaBankโ, โMaytanaโ. A rename frequently marks a pivot in positioning or product โ useful raw material for variant ideas.
Founders ยท 1
Mokhtar BachaFounder
At 17 Mokhtar Bacha became the youngest employee at ConsenSys, hired by Ethereum co-founder Joseph Lubin. There, he gained expertise in cryptography, consensus algorithms, and distributed systems. Mokhtar launched Formal in 2022 with the mission to secure the world's data. Today thanks to an incredible team, we are proud to secure the data of customers like Notion.com, Ramp.com, and Gusto.com
B2BCybersecurity
Related startups

ActiondeskSummer 2019
Access all your live data in one place
Acquired

UnboundSummer 2024
Use AI tools without fear of data leakage
Active



