Excheqr

We make enterprise software for crypto.

A decentralized finance platform creating end-to-end financial derivatives on blockchains.

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