OpenSea

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

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

All-in-one Platform to Manage Your Crypto Treasury