Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
sFOX is the full-service crypto prime dealer for institutional investors, providing the liquidity, security, and infrastructure needed to unlock the full potential of digital assets.