YATIMA Funding & Investors

Newton, MA

Yatima is a computing platform that uses formal proofs and zkSNARKs to make software safer. Founded in 2020, Yatima is a Substrate blockchain that uses on-chain formal verification and zero-knowledge proofs to improve the safety and scalability of smart contracts and other deterministic computations. The company is based in Newton Center, Massachusetts.