Bitstack

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.

Striga is building infrastructure for digital assets and financial services as a single set of APIs doing the heavy lifting of security and regulatory compliance.