Related DApps
Yatima Inc.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Y Combinator
Protocol Labs
Protocol Labs is an open-source research, development, and deployment laboratory. It's the company behind IPFS, Filecoin, libp2p, and many more.
Y Combinator