
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Jasmine makes the buying and selling of renewable energy assets easy, accessible, and transparent.
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.
Theya is the world’s simplest Bitcoin self-custody app for users who find crypto exchanges risky and hardware wallets overwhelming.