
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Protocol Labs is an open-source research, development, and deployment laboratory. It's the company behind IPFS, Filecoin, libp2p, and many more.
Theya is the world’s simplest Bitcoin self-custody app for users who find crypto exchanges risky and hardware wallets overwhelming.