Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
SpruceID empowers organizations to manage the entire lifecycle of digital credentials, such as mobile driver’s licenses, software audit statements, professional certifications, and more.
Coinfeeds is an API that provides real-time news and social sentiment on any cryptocurrency.