
[Inactive] Slashauth builds a developer platform for web3 enabled apps.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
A blockchain intelligence company that helps financial institutions, crypto businesses and government agencies detect and investigate crypto-related financial crime and fraud.
Protocol Labs is an open-source research, development, and deployment laboratory. It's the company behind IPFS, Filecoin, libp2p, and many more.