
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
A collaborative team workspace with Sign-in with Ethereum and token-based permissions. Write docs, manage projects, and organize knowledge with bidirectional links.
A crypto-native virtual card provider that allows users to easily create cards and fund them with cryptocurrency.