Yatima is a verifiable computing platform which uses formal proofs and zkSNARKs to make software safer.
Ben aims to be a unified platform for learning about, buying, selling, and storing cryptocurrency.
Request allows companies & people to pay and get paid in cryptocurrencies by relying on the most innovative payment request technology.