Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Immuna
Immuna platform helps crypto investors manage their risks of investing in crypto assets.
Y Combinator
Helicarrier (prev Buycoins)
Helicarrier (previously Buycoins) is building cryptocurrency infrastructure for Africa.
Y Combinator
DolarApp
DolarApp allows LatAm inhabitants (starting with México) to dollarize their everyday finances.
Y Combinator