Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Helicarrier (prev Buycoins)
Helicarrier (previously Buycoins) is building cryptocurrency infrastructure for Africa.
Y Combinator
EthosX
A decentralized finance platform creating end-to-end financial derivatives on blockchains.
Y Combinator