SlashAuth

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

Quantstamp’s mission is to secure the decentralized internet, and has protected over $200B in digital asset risk from hackers.