Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Hiro Systems
Hiro System builds developer tools for Bitcoin L1 and the Stacks L2 (layer-2).
Y Combinator
Notebook Labs
Solve the Web3 identity problem by using Zero-Knowledge to provide both anonymous proof-of-humanity and credential aggregation.
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