Internet Friends

Interlock protects DeFi while rewarding the community that makes it safer.

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

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