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.
Partial Data by Infogroup (c) 2024. All rights reserved.