Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Rio
Rio lets users buy and sell crypto and stablecoins in 5 minutes or less, using local payment methods in LATAM.
Y Combinator
DolarApp
DolarApp allows LatAm inhabitants (starting with México) to dollarize their everyday finances.
Y Combinator
Monitaur
All-in-one observability platform for Web3 applications powered by machine learning.
Y Combinator