Dialect

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

A blockchain intelligence company that helps financial institutions, crypto businesses and government agencies detect and investigate crypto-related financial crime and fraud.

Building tools and products in the crypto industry.