Hiro Systems

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

Paymobil is a global bank account replacement using stablecoins.

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