Multis

Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.

DolarApp allows LatAm inhabitants (starting with México) to dollarize their everyday finances.

Immuna platform helps crypto investors manage their risks of investing in crypto assets.