Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Flux
We are building Flux- Flux is a Mobile App for merchants, freelancers, regular users(P2P) to make and accept payments from their customers anywhere in the world using crypto or fiat.
Y Combinator
Hiro Systems
Hiro System builds developer tools for Bitcoin L1 and the Stacks L2 (layer-2).
Y Combinator