
Supercool allows institutions and developers to automate, create, and manage digital assets.
Botin a mobile app where people in Latin America can invest in US Stocks, Crypto and more.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.