Monitaur

tools and infrastructure that make it easier, faster and cheaper for anyone in to build user friendly crypto and web3 products.

Supercool allows institutions and developers to automate, create, and manage digital assets.

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