Excheqr

Mudrex is on a mission to bring risk optimised high yield investments to everyone.

Tools for institutions to manage risk in DeFi

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