Related DApps
Yatima Inc.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Y Combinator
Tienda Crypto
Tienda Dólar is the best way for Latin American people to protect their savings
Y Combinator
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Tienda Dólar is the best way for Latin American people to protect their savings