Hiro Systems

A fiat<>crypto on/off ramp payment gateway for web3 applications.

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

A digital currency wallet and platform where merchants and consumers can transact with new digital currencies like bitcoin, ethereum, and litecoin.