Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
A mobile and wearable wallet that makes interacting with blockchain-based products and services seamless, fun, and empowering.
ZeFi is a zk native cloud platform that lets developers build and deploy zero knowledge circuits directly on the cloud.