Bitaccess

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

[Inactive] Slashauth builds a developer platform for web3 enabled apps.

Chainsight builds API for any web2 or web3 company to detect and prevent crypto or NFT scam on their platform