RoverX

Meson is a stablecoin swap protocol among blockchains and Layer 2s

Solve the Web3 identity problem by using Zero-Knowledge to provide both anonymous proof-of-humanity and credential aggregation.

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