
Wallbit is a neobank that gives global remote workers a US bank account.
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.