A decentralized finance platform creating end-to-end financial derivatives on blockchains.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Create self-custody wallets for your users, powered by account abstraction. ERC-4337 infrastructure.