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