Listia

Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.

Financial advisors for Gen-Z

SpruceID empowers organizations to manage the entire lifecycle of digital credentials, such as mobile driver’s licenses, software audit statements, professional certifications, and more.