Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
LootRush
We create an affordable way for gamers to start playing crypto games and a secure way for investors to earn yield through NFTs.
Y Combinator
Hiro Systems
Hiro System builds developer tools for Bitcoin L1 and the Stacks L2 (layer-2).
Y Combinator