Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Coinrule
Coinrule Catches the Next Market Opportunity on Your Behalf by Automating Your Investments.
Y Combinator