Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Hedgehog
Hedgehog is a crypto robo-adviser that manages your funds in broad baskets of digital assets covering up to 85% of crypto's market cap.
Y Combinator