YATIMA
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.
YATIMA
Industry:
Blockchain Information Technology Internet Software
Founded:
2020-01-01
Address:
Newton, Massachusetts, United States
Country:
United States
Total Employee:
1+
Status:
Active
Contact:
617-850-2143
Current Employees Featured
Founder