Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
[Acquired] Dharma is the only Ethereum wallet capable of seamlessly moving money between any US bank account and decentralized exchanges like Uniswap.
ECSA offers a seamless solution for converting Brazilian Real to BRLe, a fully collateralized stablecoin.