Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Striga is building infrastructure for digital assets and financial services as a single set of APIs doing the heavy lifting of security and regulatory compliance.
Create self-custody wallets for your users, powered by account abstraction. ERC-4337 infrastructure.