Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
SolStar
SolStar makes it possible for anyone to use crypto, starting with a Discord integration. It's a platform for creating and organizing token-powered communities powered by Solana.
Y Combinator
Supercool
Supercool allows institutions and developers to automate, create, and manage digital assets.
Y Combinator
Koywe
Provide simple, well-documented, and fully compliant payments APIs and interfaces for Latam.
Y Combinator