
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.
atsuma is a developer tool for building applications on top of real-time blockchain data.