Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Supercool
Supercool allows institutions and developers to automate, create, and manage digital assets.
Y Combinator
Rio
Rio lets users buy and sell crypto and stablecoins in 5 minutes or less, using local payment methods in LATAM.
Y Combinator
Multibase
Powerful web3 analytics tools to help you convert, engage, and retain more users. Multibase makes it easy to analyze web3 users.
Y Combinator