
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.
Tools for the future of pseudonymous, permissionless work. It provides an efficient tool for creating and managing grants from your protocol, completely on chain..
Lofty helps anyone lay a path to financial freedom with fractional real estate investing.