RoverX

Web3 smart messaging protocol for dapp notifications and wallet chat

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

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