Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Winter
Winter offers an embeddable checkout widget for businesses & NFT projects to sell NFTs through a credit card
Y Combinator
Multis
We build accounting & treasury management software solutions for web3 organizations.
Y Combinator
Hiro Systems
Hiro System builds developer tools for Bitcoin L1 and the Stacks L2 (layer-2).
Y Combinator