Monitaur

ZeFi is a zk native cloud platform that lets developers build and deploy zero knowledge circuits directly on the cloud.

Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.

Weltio gives users access to a fully fledged brokerage account in USD