Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Immuna
Immuna platform helps crypto investors manage their risks of investing in crypto assets.
Y Combinator