
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Poko enables seamless transfers from local payment rails to web3 infrastructure enabling web3 wallets, marketplaces, games and DApps
Create self-custody wallets for your users, powered by account abstraction. ERC-4337 infrastructure.
Solve the Web3 identity problem by using Zero-Knowledge to provide both anonymous proof-of-humanity and credential aggregation.