
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Theya is the world’s simplest Bitcoin self-custody app for users who find crypto exchanges risky and hardware wallets overwhelming.
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.
Littio is a neobank focused on solving the currency devaluation problem for Latin Americans.