
A blockchain intelligence company that helps financial institutions, crypto businesses and government agencies detect and investigate crypto-related financial crime and fraud.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Supercool allows institutions and developers to automate, create, and manage digital assets.