Yatima is a computing platform that ensures the safety of software by using formal proofs and zkSNARKs.
Yatima has raised $9.1M in total funding. The most recent round was Venture - Series Unknown. The last funding was announced in April 2024.
Yatima's investors include Y Combinator, Lombardstreet Ventures, Samsung NEXT's Q Fund.
Yatima is headquartered in Newton, United States.
Yatima is a computing platform that ensures the safety of software by using formal proofs and zkSNARKs.
Yatima is at the Venture - Series Unknown stage.
Free to use in articles, research, and reference works. Stable URL — will not change. Data on this page last updated .
"Yatima — Funding & Investors." VCBacked, April 8, 2024, https://www.vcbacked.co/company/yatima. Accessed July 19, 2026.
VCBacked. (2024). Yatima — Funding & Investors. Retrieved July 19, 2026, from https://www.vcbacked.co/company/yatima
{{cite web |title=Yatima — Funding & Investors |url=https://www.vcbacked.co/company/yatima |website=VCBacked |access-date=July 19, 2026}}Profile data sourced and verified per the VCbacked methodology · Last funding round dated