Bunkyr

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

Tools for the future of pseudonymous, permissionless work. It provides an efficient tool for creating and managing grants from your protocol, completely on chain..

Jasmine makes the buying and selling of renewable energy assets easy, accessible, and transparent.