Pluto.markets

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.