Arda

We make enterprise software for crypto.

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

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