Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Cedalio
A blockchain empowered alternative to Firebase. Cedalio starts with a Decentralized Storage GraphQL Gateway, you can use Cedalio as a decentralized database for applications that speak GraphQL.
Y Combinator
Stackup
Stackup is a suite of open-source developer tools for building user-friendly blockchain products. It starts with ERC-4337 infrastructure.
Y Combinator