Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Rainbow
Rainbow is a fun, simple, and secure Ethereum wallet that makes managing your assets a joy.
Y Combinator