
Bunkyr enables companies to protect their users’ data with a simple, hardware-secured API.
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.