Yatima

Call
Newton, MA 02458
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.
Own this business?
See a problem?

You might also like

Partial Data by Infogroup (c) 2024. All rights reserved.