
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Members.Land helps creators and organizations to streamline their membership launching and community management processes.
Solve the Web3 identity problem by using Zero-Knowledge to provide both anonymous proof-of-humanity and credential aggregation.