[Inactive] Tinker is a cryptocurrency electronic trading & market making firm
Map3 connects crypto services to Wallets, Exchanges & Bridges to enable cross-chain deposits.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.