Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Satsuma
atsuma is a developer tool for building applications on top of real-time blockchain data.
Y Combinator
Winter
Winter offers an embeddable checkout widget for businesses & NFT projects to sell NFTs through a credit card
Y Combinator
Bunkyr
Bunkyr enables companies to protect their users’ data with a simple, hardware-secured API.
Y Combinator