
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
ZeFi is a zk native cloud platform that lets developers build and deploy zero knowledge circuits directly on the cloud.
By investing on a schedule and selling available gains when you spend, Soon automates investing from beginning to end.
Bunkyr enables companies to protect their users’ data with a simple, hardware-secured API.