Yatima Inc.

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

Metafi is building blockchain infrastructure for Web3 games.

ECSA offers a seamless solution for converting Brazilian Real to BRLe, a fully collateralized stablecoin.