Yatima Inc.

Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Striga
Striga is building infrastructure for digital assets and financial services as a single set of APIs doing the heavy lifting of security and regulatory compliance.
Y Combinator
SFOX
sFOX is the full-service crypto prime dealer for institutional investors, providing the liquidity, security, and infrastructure needed to unlock the full potential of digital assets.
Y Combinator