Yatima

Founded in 2020

Next Gen ComputingAR / VRBlockchainBlockchain / CryptoServiceCommunications and information technology

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...