
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Jasmine makes the buying and selling of renewable energy assets easy, accessible, and transparent.
Quantstamp’s mission is to secure the decentralized internet, and has protected over $200B in digital asset risk from hackers.
Solve the Web3 identity problem by using Zero-Knowledge to provide both anonymous proof-of-humanity and credential aggregation.