ZeFi

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.

Y Combinator

Ping enables international contractors and freelancers to have access to a personal Dollar account in the US

Y Combinator

Wallbit is a neobank that gives global remote workers a US bank account.

Y Combinator