Yatima Inc.
Description
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Chains
Related DApps
Stackup
Stackup is a suite of open-source developer tools for building user-friendly blockchain products. It starts with ERC-4337 infrastructure.
Y Combinator
ZeroDev
Create self-custody wallets for your users, powered by account abstraction. ERC-4337 infrastructure.
Y Combinator
Dharma Labs
[Acquired] Dharma is the only Ethereum wallet capable of seamlessly moving money between any US bank account and decentralized exchanges like Uniswap.
Y Combinator