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.
Immuna platform helps crypto investors manage their risks of investing in crypto assets.
Chainsight builds API for any web2 or web3 company to detect and prevent crypto or NFT scam on their platform