Chainsight

Zoltar is an agnostic payment infrastructure for international businesses.

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

A leakproof data warehouse that lets companies store and analyze sensitive data without ever decrypting it. Developers can create S3-like buckets. Store any key-value data. Then perform completely private retrievals.