EthosX

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

Littio is a neobank focused on solving the currency devaluation problem for Latin Americans.

Poko enables seamless transfers from local payment rails to web3 infrastructure enabling web3 wallets, marketplaces, games and DApps