
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Stackup is a suite of open-source developer tools for building user-friendly blockchain products. It starts with ERC-4337 infrastructure.
Chainsight builds API for any web2 or web3 company to detect and prevent crypto or NFT scam on their platform