Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Quantstamp
Quantstamp’s mission is to secure the decentralized internet, and has protected over $200B in digital asset risk from hackers.
Y Combinator
Supercool
Supercool allows institutions and developers to automate, create, and manage digital assets.
Y Combinator
Cashmere
Cashmere is a multisig solana wallet for enterprises to manage their digital assets.
Y Combinator