Building tools and products in the crypto industry.
tools and infrastructure that make it easier, faster and cheaper for anyone in to build user friendly crypto and web3 products.
Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.